Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

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.

[1]  Chris Brink,et al.  Unification of Four Versions of Program Semantics , 1998, Formal Aspects of Computing.

[2]  Robert Goldblatt,et al.  Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..

[3]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[4]  E. J. Lemmon,et al.  Algebraic semantics for modal logics II , 1966, Journal of Symbolic Logic.

[5]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[6]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[7]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[8]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[9]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[10]  J. Dunn,et al.  Duality Theorems for Partial Orders, Semilattices, Galois Connections and Lattices , 1993 .

[11]  R. Labrecque The Correspondence Theory , 1978 .

[12]  Viorica Sofronie-Stokkermans,et al.  Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators , 2001 .

[13]  Paul R. Halmos,et al.  Algebraic logic, I. Monadic boolean algebras , 1956 .

[14]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[15]  J. Benthem Some kinds of modal completeness , 1980 .

[16]  E. J. Lemmon,et al.  Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[17]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[18]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[19]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[20]  H. A. Lewis,et al.  ENTAILMENT: The Logic of Relevance and Necessity (Volume I) , 1978 .

[21]  Viorica Sofronie-Stokkermans Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II , 2000, Stud Logica.

[22]  Algebraic logic , 1985, Problem books in mathematics.

[23]  Rodney G. Downey Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding , 1989, Ann. Pure Appl. Log..

[24]  Gerard Allwein,et al.  Kripke models for linear logic , 1993, Journal of Symbolic Logic.