On symbolic models for single-conclusion logic of proofs

DOI10.1070/SM2011V202N05ABEH004161zbMATH Open1250.03120MaRDI QIDQ3173324FDOQ3173324

Vladimir Nikolaevich Krupskiĭ

Publication date: 27 September 2011

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

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

zbMATH Keywords

logic of proofssymbolic modelsformal derivation

Mathematics Subject Classification ID

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

Cited In (3)

• Referential 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)