Feasible operations on proofs: the logic of proofs for bounded arithmetic

DOI10.1007/S00224-007-9058-XMaRDI QIDQ929293zbMATH OpenOpenAlexFDO

Authors Evan Goris

Publication date 17 June 2008

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-007-9058-x

zbMATH Keywords

bounded arithmeticlogic of proofsarithmetical completeness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Logic of Proofs for Bounded Arithmetic
• The logic of proofs, semantically
• Logic of proofs and provability
• Logics of proofs and justifications
• On arithmetical completeness of the logic of proofs

Cites work

• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• Existence and feasibility in arithmetic
• Explicit provability and constructive semantics
• Introducing Justification into Epistemic Logic
• Justified and Common Knowledge: Limited Conservativity
• Logical Omniscience Via Proof Complexity
• On the provability logic of bounded arithmetic
• Provability interpretations of modal logic
• Reasoning with Justifications

Cited in

(4)

• Logic of Proofs for Bounded Arithmetic
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• A modal provability logic of explicit and implicit proofs
• Arithmetical Completeness of the Intuitionistic Logic of Proofs

This page was built for publication: Feasible operations on proofs: the logic of proofs for bounded arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q929293)