Weak arithmetical interpretations for the Logic of Proofs

&
Logic Journal of the IGPL 24 (3):424-440 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzw002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,665

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

On the proof-theory of a first-order extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).
On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.
Conference Report: Logic, Proofs and Algorithms.Ruy Jgb de Queiroz & Kátia Silva Guimaraes - 1998 - Logic Journal of the IGPL 6 (4):656-657.
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
Non-commutative classical arithmetical sequent calculi are intuitionistic.Revantha Ramanayake - 2016 - Logic Journal of the IGPL 24 (3):441-452.
Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.
A Non-arithmetical Gödel Logic.Peter Hájek - 2005 - Logic Journal of the IGPL 13 (4):435-441.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Exploring Computational Contents of Intuitionist Proofs.G. M. H. da Silva - 2005 - Logic Journal of the IGPL 13 (1):69-93.

Analytics

Added to PP
2016-06-30

Downloads
22 (#957,496)

6 months
2 (#1,693,267)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Verification logic: An arithmetical interpretation for negative introspection.Juan Pablo Aguilera & David Fernández-Duque - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 1-20.

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 justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.

View all 10 references / Add more references