Logic of proofs

Annals of Pure and Applied Logic 67 (1-3):29-59 (1994)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90007-8

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Analytic logic of proofs.Francesca Poggiolesi & Brian Hill - forthcoming - Annals of Pure and Applied Logic.
Possible world semantics for first-order logic of proofs.Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):225-240.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
On logic of proofs and provability.Elena Nogina - 2006 - Bulletin of Symbolic Logic 12 (2):356.
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
Derivability in certain subsystems of the Logic of Proofs is-complete.Robert Milnikel - 2007 - Annals of Pure and Applied Logic 145 (3):223-239.

Analytics

Added to PP
2014-01-16

Downloads
44 (#563,553)

6 months
8 (#521,746)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sergei Artemov
CUNY Graduate Center

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

View all 35 citations / Add more citations

References found in this work

Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.

Add more references