Results 1 
6 of
6
On the BlokEsakia Theorem
"... Abstract We discuss the celebrated BlokEsakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of genera ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract We discuss the celebrated BlokEsakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the BlokEsakia theorem to extensions of intuitionistic logic with modal operators and coimplication. In memory of Leo Esakia 1
Admissible Bases via Stable Canonical Rules
"... Abstract. We establish the dichotomy property of [7] for multiconclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such wellknown systems as IPC, S4, and K4. 1 ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. We establish the dichotomy property of [7] for multiconclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such wellknown systems as IPC, S4, and K4. 1
DOI: 10.12775/LLP.2015.007
"... Abstract. This work was intended to be an attempt to introduce the metalanguage for working with multipleconclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse subst ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. This work was intended to be an attempt to introduce the metalanguage for working with multipleconclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.
unknown title
"... Admissible bases via stable canonical rules Bezhanishvili, N.; Gabelaia, D.; Ghilardi, S.; Jibladze, M. Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reaso ..."
Abstract
 Add to MetaCart
(Show Context)
Admissible bases via stable canonical rules Bezhanishvili, N.; Gabelaia, D.; Ghilardi, S.; Jibladze, M. Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. Abstract. We establish the dichotomy property for stable canonical multiconclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.