Stable canonical rules

DOI10.1017/JSL.2015.54MaRDI QIDQ2805038zbMATHOpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff

Publication date 9 May 2016

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11245.1/4e39d0ae-9750-49f4-9419-179f742a5a9c

zbMATH Keywords

filtrationmodal logicvarietyaxiomatizationmodal algebrauniversal classmulti-conclusion consequence relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Canonical rules
• Admissible bases via stable canonical rules
• Publication:4723057
• Regular canonical systems
• scientific article; zbMATH DE number 408799
• Publication:4726394
• On the stability of Filon-Clenshaw-Curtis rules
• scientific article; zbMATH DE number 524180
• Canonical systems

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• A dual characterization of subdirectly irreducible BAOs
• Admissibility of logical inference rules
• An algebraic approach to canonical formulas: modal case
• An algebraic approach to subframe logics. Modal case
• An algebraic look at filtrations in modal logic
• Canonical formulas \(\mathbf{wK4}\)
• Continuity, freeness, and filtrations
• Frame based formulas for intermediate logics
• Splitting lattices of logics
• Subdirectly irreducible modal algebras and initial frames
• The algebra of topology
• Tools and techniques in modal logic
• Topo-canonical completions of closure algebras and Heyting algebras
• Using the Universal Modality: Gains and Questions
• « Everywhere » and « here »

Cited in

(15)

• Subordinations on bounded distributive lattices
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Intermediate logics admitting a structural hypersequent calculus
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Complexity of the universal theory of residuated ordered groupoids
• Computational complexity for bounded distributive lattices with negation
• Admissible bases via stable canonical rules
• Stable modal logics
• Stable formulas in intuitionistic logic
• A variety of algebras closely related to subordination algebras
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Complexity of the universal theory of modal algebras
• Cofinal stable logics
• Grzegorczyk algebras revisited
• Irreducible equivalence relations, Gleason spaces, and de Vries duality

This page was built for publication: Stable canonical rules

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