Some analytic systems of rules

DOI10.1007/978-3-031-43513-3_6MaRDI QIDQ6541146zbMATH OpenFDO

Authors Timo Lang

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 4142009 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• Deep sequent systems for modal logic
• Display logic
• From Frame Properties to Hypersequent Rules in Modal Logics
• Generic modal cut elimination applied to conditional logics
• Grafting hypersequents onto nested sequents
• Handbook of modal logic
• Hypersequent calculi for S5: the methods of cut elimination
• Hypersequents and Systems of Rules
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proof analysis in modal logic
• Pseudo two-valued evaluation method for intermediate logics
• Strongly analytic tableaux for normal modal logics
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Unsound inferences make proofs shorter

This page was built for publication: Some analytic systems of rules

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