Admissible Bases Via Stable Canonical Rules

Admissible Bases Via Stable Canonical Rules

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2016-04, Vol.104 (2), p.317-341
Hauptverfasser: Bezhanishvili, Nick, Gabelaia, David, Ghilardi, Silvio, Jibladze, Mamuka
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Computational Linguistics
Education
Heyting algebras
Homomorphisms
Logic
Logical theorems
Mathematical logic
Mathematical Logic and Foundations
Mathematical theorems
Mathematical transitivity
Modal logic
Morphisms
Partially ordered sets
Philosophy
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-015-9642-z