Discrete Dualities for Double Stone Algebras

We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.

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

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

[3]  E. T. Schmidt,et al.  On a problem of M. H. Stone , 1957 .

[4]  G. Grätzer.  Stone algebras form an equational class: (Remarks on Lattice Theory III) , 1969 .

[5]  George Grätzer,et al.  Stone Lattices. II. Structure Theorems , 1969 .

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

[7]  J. C. Varlet,et al.  A regular variety of type <2, 2, 1, 1, 0, 0> , 1972 .

[8]  Grigore C. Moisil.  Essais sur les logiques non chrysippiennes , 1972 .

[9]  Hilary A. Priestley.  Stone lattices: a topological approach , 1974 .

[10]  C. Rauszer.  Semi-Boolean algebras and their applications to intuitionistic logic with dual operations , 1974 .

[11]  Denise Becchio.  Logique trivalente de Lukasiewicz , 1978 .

[12]  S. D. Comer,et al.  On connections between information systems, rough sets and algebraic logic , 1993 .

[13]  Ivo Düntsch.  Rough Relation Algebras , 1994, Fundam. Informaticae.

[14]  S. D. Comer,et al.  Perfect extensions of regular double Stone algebras , 1995 .

[15]  Ivo Düntsch,et al.  A Logic for Rough Sets , 1997, Theor. Comput. Sci..

[16]  Ewa Orlowska,et al.  Duality via Truth: Semantic frameworks for lattice-based logics , 2005, Log. J. IGPL.

[17]  Ewa Orlowska,et al.  Relational Representation Theorems for General Lattices with Negations , 2006, RelMiCS.

[18]  Michael Winter,et al.  Rough Relation Algebras Revisited , 2006, Fundam. Informaticae.

[19]  M. Haviar,et al.  Canonical extensions of Stone and double Stone algebras: the natural way , 2006 .

[20]  Ewa Orlowska,et al.  Discrete Duality and Its Applications to Reasoning with Incomplete Information , 2007, RSEISP.

[21]  Bernhard Möller,et al.  Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings , 2009, RelMiCS.

[22]  Ewa Orlowska,et al.  Discrete Duality for Relation Algebras and Cylindric Algebras , 2009, RelMiCS.