Switch to: References

Citations of:

Canonical formulas for modal and superintuitionistic logics: a short outline

In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 195--248 (1997)

Add citations

You must login to add citations.
  1. An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.
    We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (∧, →) homomorphisms, (∧, →, 0) homomorphisms, and (∧, →, ∨) homomorphisms between Heyting algebras, thus establishing a generalization of Esakia duality. This yields an algebraic characterization of Zakharyaschev’s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we obtain a new simplified proof (which is algebraic in nature) of Zakharyaschev’s (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations