Order:
  1.  73
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  33
    Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
    The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  2
    Locality and subsumption testing in EL and some of its extensions.Viorica Sofronie-Stokkermans - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 315-339.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation