scientific article; zbMATH DE number 6863852

zbMath1385.03016MaRDI QIDQ4636285

Nick Bezhanishvili, Silvio Ghilardi

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hypersequentsstep algebrasmultiple-conclusion rulesstep frames

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication: