Switch to: Citations

Add references

You must login to add references.
  1. Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
    The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
    Download  
     
    Export citation  
     
    Bookmark   66 citations