Reference Constructions in the Single-conclusion Proof Logic

DOI10.1093/LOGCOM/EXL028MaRDI QIDQ3431965zbMATH OpenOpenAlexFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 13 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl028

zbMATH Keywords

explicit modal logicproof termproof theoryreferencesingle conclusion logic of proofsunification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Referential logic of proofs
• On symbolic models for single-conclusion logic of proofs
• The basic intuitionistic logic of proofs
• Logic of proofs and provability
• The single-conclusion proof logic and inference rules specification

Cited in

(4)

• Referential logic of proofs
• Symbolic models for single-conclusion proof logics
• Decidability for some justification logics with negative introspection
• The single-conclusion proof logic and inference rules specification

This page was built for publication: Reference Constructions in the Single-conclusion Proof Logic

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