Referential logic of proofs

DOI10.1016/J.TCS.2006.03.016zbMATH Open1094.03047OpenAlexW2155410891MaRDI QIDQ2500486FDOQ2500486

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

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

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)

Cites Work

• Title not available (Why is that?)
• Logic of proofs
• Explicit provability and constructive semantics
• Title not available (Why is that?)
• Linear unification
• Provability interpretations of modal logic
• Self-reference and modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of automated reasoning. In 2 vols
• Logic of proofs and provability
• The undecidability of the second-order unification problem
• The single-conclusion proof logic and inference rules specification
• Simple second-order languages for which unification is undecidable
• Logic and structure.
• Data storage interpretation of labeled modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Decidability for some justification logics with negative introspection
• A complexity question in justification logic
• The Logic of Justification
• Symmetric Logic of Proofs
• Justified common knowledge
• The single-conclusion proof logic and inference rules specification
• THE LOGIC OF JUSTIFICATION

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)