Weak arithmetical interpretations for the logic of proofs

DOI10.1093/JIGPAL/JZW002MaRDI QIDQ4644547zbMATH OpenOpenAlexWikidataFDO

Authors Roman Kuznets, Thomas Studer

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/86232/1/LP_Arith.pdf

zbMATH Keywords

Peano arithmeticlogic of proofsrealization theorem

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

• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• Logics of proofs and justifications
• On arithmetical completeness of the logic of proofs
• The basic intuitionistic logic of proofs
• Explicit provability and constructive semantics

Cited in

(12)

• scientific article; zbMATH DE number 6863635 (Why is no real title available?)
• Semirings of Evidence
• Incomplete Information and Justifications
• Separations of theories in weak bounded arithmetic
• A Conflict Tolerant Logic of Explicit Evidence
• On arithmetical completeness of the logic of proofs
• Intuitionistic weak arithmetic
• The strength of replacement in weak arithmetic
• scientific article; zbMATH DE number 3900723 (Why is no real title available?)
• Justification Logics with Probability Operators
• Explicit non-normal modal logic
• A logic of interactive proofs

This page was built for publication: Weak arithmetical interpretations for the logic of proofs

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