Stable canonical rules

DOI10.1017/JSL.2015.54zbMATH Open1345.03034OpenAlexW2529311106MaRDI QIDQ2805038FDOQ2805038

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

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

zbMATH Keywords

filtrationmodal logicvarietyaxiomatizationmodal algebrauniversal classmulti-conclusion consequence relation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

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

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)