Set theory in first-order logic: Clauses for Gödel's axioms-Reference-Cited by-同舟云学术

Set theory in first-order logic: Clauses for Gödel's axioms

Published:1986-09 Issue:3 Volume:2 Page:287-327
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Boyer Robert,Lusk Ewing,McCune William,Overbeek Ross,Stickel Mark,Wos Lawrence

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/BF02328452.pdf

Reference9 articles.

1. BledsoeW. W., ‘Splitting and reduction heuristics in automatic theorem proving’,Artificial Intelligence 2 55–77 (1971).

2. Bledsoe, W. W., ‘Some automatic proofs in analysis’, inAutomated Theorem Proving: After 25 Years, (eds. D. Loveland and W. W. Bledsoe), American Mathematical Society (1984).

3. Gödel, K.,The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press (1940).

4. KellyJ.,General Topology, D. van Nostrand, Princeton, New Jersey (1955).

5. McDonald, J. and Suppes, P., ‘Student use of an interactive theorem prover’, inAutomated Theorem Proving: After 25 Years, (eds. D. Loveland and W. W. Bledsoe), American Mathematical Society (1984).

Cited by 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Stepping Stones in the TPTP World;Lecture Notes in Computer Science;2024

2. Infinite Sets and Finite Combinatorics;On Sets and Graphs;2017

3. Random Generation of Sets;On Sets and Graphs;2017

4. Counting and Encoding Sets;On Sets and Graphs;2017

5. Graphs as Transitive Sets;On Sets and Graphs;2017