Models for the Logic of Possible Proofs

Pacific Philosophical Quarterly 81 (1):49-66 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/1468-0114.00094

Links

PhilArchive



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

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

Models for the logic of possible proofs.Leon Horsten - 2000 - Pacific Philosophical Quarterly 81 (1):49–66.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Refutations, Proofs, and Models in the Modal Logic K4.Tomasz Skura - 2002 - Studia Logica 70 (2):193-204.
The three dimensions of proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Justifications, awareness and epistemic dynamics.Igor Sedlár - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 307-318.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.
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.

Analytics

Added to PP
2017-02-23

Downloads
11 (#1,105,752)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

Citations of this work

What do you mean “This isn’t the question”?David Enoch & Tristram McPherson - 2017 - Canadian Journal of Philosophy 47 (6):820-840.

Add more citations

References found in this work

No references found.

Add more references