Some analytic systems of rules
From MaRDI portal
Publication:6541146
DOI10.1007/978-3-031-43513-3_6MaRDI QIDQ6541146FDOQ6541146
Authors: Timo Lang
Publication date: 17 May 2024
Cites Work
- Display logic
- Handbook of modal logic
- Proof analysis beyond geometric theories: from rule systems to systems of rules
- Proof analysis in modal logic
- Title not available (Why is that?)
- Generic modal cut elimination applied to conditional logics
- Title not available (Why is that?)
- From Frame Properties to Hypersequent Rules in Modal Logics
- Deep sequent systems for modal logic
- Strongly analytic tableaux for normal modal logics
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle
- Pseudo two-valued evaluation method for intermediate logics
- Title not available (Why is that?)
- Grafting hypersequents onto nested sequents
- Hypersequents and Systems of Rules
- Unsound inferences make proofs shorter
- Hypersequent calculi for S5: the methods of cut elimination
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)