scientific article; zbMATH DE number 6863852

zbMATH Open1385.03016MaRDI QIDQ4636285FDOQ4636285

Authors: Nick Bezhanishvili, Silvio Ghilardi 

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

hypersequentsstep algebrasmultiple-conclusion rulesstep frames

Mathematics Subject Classification ID

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

Cited In (9)

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

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)