On symbolic models for single-conclusion logic of proofs

DOI10.1070/SM2011V202N05ABEH004161MaRDI QIDQ3173324zbMATH OpenFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 27 September 2011

Published in Sbornik: Mathematics (Search for Journal in Brave)

zbMATH Keywords

logic of proofssymbolic modelsformal derivation

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Symbolic models for single-conclusion proof logics
• Syntactical models and fixed points for the basic logic of proofs
• Symmetric Logic of Proofs
• scientific article; zbMATH DE number 1114348
• Logic of proofs and provability

Cited in

(6)

• Referential logic of proofs
• Possible world semantics for first-order logic of proofs
• Symbolic models for single-conclusion proof logics
• Symmetric Logic of Proofs
• The single-conclusion proof logic and inference rules specification
• Reference Constructions in the Single-conclusion Proof Logic

This page was built for publication: On symbolic models for single-conclusion logic of proofs

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