Admissible Bases Via Stable Canonical Rules

作者：Bezhanishvili Nick^*; Gabelaia David^*; Ghilardi Silvio^*; Jibladze Mamuka^*

来源：Studia Logica, 2016, 104(2): 317-341.

DOI：10.1007/s11225-015-9642-z

• Admissible rules
• Admissible bases
• Modal logic
• Intuitionistic logic
• Modal algebras
• Heyting algebras
• Canonical formulas

We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

• 出版日期2016-4