The Basic Intuitionistic Logic of Proofs

&
Journal of Symbolic Logic 72 (2):439 - 451 (2007)
  Copy   BIBTEX

Abstract

The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1185803617

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Classical logic, intuitionistic logic, and the Peirce rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.
On the admissible rules of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Algebraic proofs of cut elimination.Jeremy Avigad - manuscript
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
How basic is the basic revisionary argument?Luca Incurvati & Julien Murzi - 2008 - Analysis 68 (4):303-309.

Analytics

Added to PP
2010-08-24

Downloads
83 (#198,941)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Sergei Artemov
CUNY Graduate Center
Rosalie Iemhoff
Utrecht University

Citations of this work

A Substructural Approach to Explicit Modal Logic.Shawn Standefer - 2023 - Journal of Logic, Language and Information 32 (2):333–362.
On the Logical Philosophy of Assertive Graphs.Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Journal of Logic, Language and Information 29 (4):375-397.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.

View all 6 citations / Add more citations

References found in this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.

View all 12 references / Add more references