Symbolic models for single-conclusion proof logics

DOI10.1007/978-3-642-13182-0_26MaRDI QIDQ3569753zbMATH OpenOpenAlexFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 22 June 2010

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13182-0_26

Mathematics Subject Classification ID

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

Recommendations

• On symbolic models for single-conclusion logic of proofs
• Logic of proofs
• Reference Constructions in the Single-conclusion Proof Logic
• Symmetric Logic of Proofs
• Syntactical models and fixed points for the basic logic of proofs

Cited in

(1)

• On symbolic models for single-conclusion logic of proofs

This page was built for publication: Symbolic models for single-conclusion proof logics

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