Admissible bases via stable canonical rules
From MaRDI portal
Publication:284230
DOI10.1007/s11225-015-9642-zzbMath1397.03016MaRDI QIDQ284230
Mamuka Jibladze, Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi
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
modal logic; Heyting algebras; intuitionistic logic; admissible rules; admissible bases; canonical rules; decidability.; modal algebras
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B20: Subsystems of classical logic (including intuitionistic logic)