Annals of Pure and Applied Logic 67 (1-3):29-59 (1994)
| Authors |
|
| Abstract |
In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/0168-0072(94)90007-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Citations of this work BETA
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Epistemic Logic and Epistemology: The State of Their Affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknown
View all 28 citations / Add more citations
Similar books and articles
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
An Operational Logic of Proofs with Positive and Negative Information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The Three Dimensions of Proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
Proofs About Proofs: A Defense of Classical Logic. Part I: The Aims of Classical Logic.John P. Burgess - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 8–23.
Classical Logic, Intuitionistic Logic, and the Peirce Rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
Rational Episodes: Logic for the Intermittently Reasonable.Keith M. Parsons - 2009 - Prometheus Books.
Probabilistic Proofs and Transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Counting Proofs in Propositional Logic.René David & Marek Zaionc - 2009 - Archive for Mathematical Logic 48 (2):185-199.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
Analytics
Added to PP index
2014-01-16
Total views
12 ( #761,197 of 2,419,798 )
Recent downloads (6 months)
2 ( #351,015 of 2,419,798 )
2014-01-16
Total views
12 ( #761,197 of 2,419,798 )
Recent downloads (6 months)
2 ( #351,015 of 2,419,798 )
How can I increase my downloads?
Downloads
