- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Mechanical theorem proving in a certain class of formulae of the predicate calculus
Studia Logica 25 (1):17 - 29 (1969)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
A logic is referential iff it is selfextensional.Ryszard Wójcicki - 2003 - Studia Logica 73 (3):323 - 335.
Classical conservative extensions of Lambek calculus.V. Michele Abrusci - 2002 - Studia Logica 71 (3):277-314.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.Bartosz Więckowski - forthcoming - Studia Logica:1-4.
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.Amir Farahmand Parsa & Meghdad Ghari - 2023 - Studia Logica 111 (4):573-613.
Analytics
Added to PP
2009-01-28
Downloads
128 (#354,514)
6 months
21 (#496,988)
2009-01-28
Downloads
128 (#354,514)
6 months
21 (#496,988)
Historical graph of downloads
References found in this work
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam: North-Holland Pub. Co..
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation