scientific article; zbMATH DE number 6863852

MaRDI QIDQ4636285zbMATH OpenFDO

Authors Nick Bezhanishvili, Silvio Ghilardi

Publication date 23 April 2018

zbMATH Keywords

hypersequentsmultiple-conclusion rulesstep algebrasstep frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1268707
• Hypersequents and Systems of Rules
• scientific article; zbMATH DE number 1251242
• scientific article; zbMATH DE number 1735621
• Focused and Synthetic Nested Sequents
• scientific article; zbMATH DE number 1670483
• From Frame Properties to Hypersequent Rules in Modal Logics
• Embedding formalisms: hypersequents and two-level systems of rules
• Continuation semantics for multi-quantifier sentences: operation-based approaches

Cited in

(12)

• Stable formulas in intuitionistic logic
• Deductive systems with multiple-conclusion rules and the disjunction property
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Intermediate logics admitting a structural hypersequent calculus
• Admissible bases via stable canonical rules
• One-step Heyting algebras and hypersequent calculi with the bounded proof property
• Hypersequent rules with restricted contexts for propositional modal logics
• Two types of multiple-conclusion systems
• Stable modal logics
• Stable canonical rules for intuitionistic modal logics
• Stable canonical rules and formulas for pre-transitive logics via definable filtration
• The bounded proof property via step algebras and step frames

This page was built for publication:

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