A semantics for the logic of proofs (original) (raw)
Related papers
14 On Logic of Formal Provability and Explicit Proofs
2016
On Logic of Formal Provability and Explicit Proofs
A Proof Theory for the Logic of Provability in True Arithmetic
STUDIA LOGICA, vol.108(4), pp 857-875, 2020
Algebraic Semantics for the Logic of Proofs
2021
J. of Automated Reasoning, 2009
A note on some explicit modal logics
2006
Lecture Notes in Computer Science, 2008
Boolean Models and Methods in Mathematics, Computer Science and Engineering ed. by Crama and Hammer, Chapter 3., 2010
A semantic characterisation of the correctness of a proof net
Mathematical Structures in Computer Science, 1997
On the first order logic of proofs
2001
1997
Interactive correctness criterion for multiplicative-additive proof-nets
TR-2011005: First-Order Logic of Proofs
2011
Explicit provability and constructive semantics
2001
Proof Polynomials: A Unified Semantics for Modality and lambda-terms
1998
Some Problems for Proof-Theoretic Semantics
The Philosophical Quarterly, 2008
An introduction to proof theory
1998
Models for the Logic of Possible Proofs
Pacific Philosophical Quarterly, 2000
Unified Semantics for Modality and lambda-terms via Proof Polynomials
Algebras, Diagrams and Decisions in Language, Logic and Computation, 2002
Logic of Proofs with the strong provability operator
Proof nets and semantics: coherence and acyclicity
On the Provability Logic of Bounded Arithmetic
Rineke Verbrugge, Alessandro Berarducci
Annals of Pure and Applied Logic, 1993
A proof-theoretic semantics for parametric logical constants
Logique et Analyse, 2019
Proof Theory, Semantics and Algebra for Normative Systems
Xin Sun, 2013
Relational proof system for linear and other substructural logics
Logic Journal of IGPL, 1997
Proof theory for admissible rules
Annals of Pure and Applied Logic, 2009
The basic intuitionistic logic of proofs
2007
Views of proof-theoretic semantics: Reified proof-theoretic meanings
To appear in J. of Logic and Computation, 2014
The Modal Logic of Consistency Assertions of Peano Arithmetic
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 1983
Proof-theoretic Semantics for Classical Mathematics
Synthese, 2006
Proof Theory of Finite-valued Logics
Proof Theory and Algebra in Logic
Short Textbooks in Logic, 2019
Journal of Logic, Language and Information, 1996
A Proof-theoretic Analysis of Goal-directed Provability
Journal of Logic and Computation, 1994