Bounded proofs and step frames

DOI10.1007/978-3-642-40537-2_6MaRDI QIDQ2851932zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Silvio Ghilardi

Publication date 4 October 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40537-2_6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• The bounded proof property via step algebras and step frames
• One-step Heyting algebras and hypersequent calculi with the bounded proof property
• Free modal algebras revisited: the step-by-step method
• Proof analysis in modal logic
• One-step modal logics, intuitionistic and classical. I

Cited in

(8)

• On the number of steps in proofs
• Taming paraconsistent (and other) logics: an algorithmic approach
• One-step Heyting algebras and hypersequent calculi with the bounded proof property
• Hypersequent rules with restricted contexts for propositional modal logics
• Free modal algebras revisited: the step-by-step method
• Efficient reasoning with inconsistent information using C-systems
• Algebraic proof theory: hypersequents and hypercompletions
• The bounded proof property via step algebras and step frames

This page was built for publication: Bounded proofs and step frames

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