Sciweavers

Share
SLOGICA
2016

Admissible Bases Via Stable Canonical Rules

3 years 10 days ago
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.
Nick Bezhanishvili, David Gabelaia, Silvio Ghilard
Added 09 Apr 2016
Updated 09 Apr 2016
Type Journal
Year 2016
Where SLOGICA
Authors Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
Comments (0)
books