Admissible Bases Via Stable Canonical Rules

We establish the dichotomy property of [7] for multi-conclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such well-known systems as IPC, S4, and K4.

• Type: Journal
• Year: 2016
• Where: SLOGICA
• Authors: Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
• Keywords: SLOGICA 2016, Software Engineering