Referential logic of proofs

DOI10.1016/J.TCS.2006.03.016MaRDI QIDQ2500486zbMATH OpenOpenAlexFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 16 August 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.03.016

zbMATH Keywords

proof theoryunificationreferenceexplicit modal logicadmissible inference ruleproof termprovability semanticssingle conclusion logic of proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Reference Constructions in the Single-conclusion Proof Logic
• Logic of proofs and provability
• On symbolic models for single-conclusion logic of proofs
• On the complexity of the reflected logic of proofs
• The basic intuitionistic logic of proofs

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1285772 (Why is no real title available?)
• scientific article; zbMATH DE number 1114340 (Why is no real title available?)
• scientific article; zbMATH DE number 1499081 (Why is no real title available?)
• scientific article; zbMATH DE number 1751350 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Data storage interpretation of labeled modal logic
• Explicit provability and constructive semantics
• Handbook of automated reasoning. In 2 vols
• Linear unification
• Logic and structure.
• Logic of proofs
• Logic of proofs and provability
• Provability interpretations of modal logic
• Self-reference and modal logic
• Simple second-order languages for which unification is undecidable
• The single-conclusion proof logic and inference rules specification
• The undecidability of the second-order unification problem

Cited in

(8)

• The logic of justification
• Reference Constructions in the Single-conclusion Proof Logic
• The Logic of Justification
• Justified common knowledge
• Symmetric Logic of Proofs
• The single-conclusion proof logic and inference rules specification
• Decidability for some justification logics with negative introspection
• A complexity question in justification logic

This page was built for publication: Referential logic of proofs

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