Admissible bases via stable canonical rules

DOI10.1007/s11225-015-9642-zzbMath1397.03016OpenAlexW2238808746MaRDI QIDQ284230

Nick Bezhanishvili, Mamuka Jibladze, Silvio Ghilardi, David Gabelaia

Publication date: 17 May 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9642-z

zbMATH Keywords

modal logicHeyting algebrasintuitionistic logicadmissible rulesadmissible basescanonical rulesdecidability.modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Admissible rules for six intuitionistic modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consequence relations and admissible rules
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Bases of admissible rules of the logics S4 and Int
• Tools and techniques in modal logic
• Admissibility of logical inference rules
• Best solving modal equations
• Topo-canonical completions of closure algebras and Heyting algebras
• On the admissible rules of intuitionistic propositional logic
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• STABLE CANONICAL RULES
• Continuity, freeness, and filtrations
• Independent Bases of Admissible Rules
• Canonical rules
• Canonical formulas for K4. Part I: Basic results
• Rules of inference with parameters for intuitionistic logic
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic

This page was built for publication: Admissible bases via stable canonical rules