Symbolic models for single-conclusion proof logics

DOI10.1007/978-3-642-13182-0_26zbMATH Open1284.03266OpenAlexW1593882330MaRDI QIDQ3569753FDOQ3569753

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

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

Mathematics Subject Classification ID

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

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)