Weak arithmetical interpretations for the logic of proofs

DOI10.1093/JIGPAL/JZW002zbMATH Open1405.03096OpenAlexW2315012277WikidataQ113818830 ScholiaQ113818830MaRDI QIDQ4644547FDOQ4644547

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

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

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)

Cited In (12)

• Incomplete Information and Justifications
• Semirings of Evidence
• On arithmetical completeness of the logic of proofs
• Intuitionistic weak arithmetic
• Separations of theories in weak bounded arithmetic
• Explicit non-normal modal logic
• Justification Logics with Probability Operators
• A logic of interactive proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Conflict Tolerant Logic of Explicit Evidence
• The strength of replacement in weak arithmetic

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)