Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I

Studia Logica 64 (1):93-132 (2000)
  Copy   BIBTEX


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 sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes.



    Upload a copy of this work     Papers currently archived: 94,354

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

81 (#203,796)

6 months
6 (#718,194)

Historical graph of downloads
How can I increase my downloads?