Lattice-Based Relation Algebras II

We present classes of algebras which may be viewed as weak relation algebras, where a Boolean part is replaced by a not necessarily distributive lattice. For each of the classes considered in the paper we prove a relational representation theorem.

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

[2]  Anna Maria Radzikowska,et al.  Lattice-Based Relation Algebras and Their Representability , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

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

[4]  Stéphane Demri,et al.  Incomplete Information: Structure, Inference, Complexity , 2002, Monographs in Theoretical Computer Science An EATCS Series.

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

[6]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[7]  Ivo Düntsch,et al.  Boolean algebras arising from information systems , 2004, Ann. Pure Appl. Log..

[8]  Patrick Suppes,et al.  Logic, Methodology and Philosophy of Science , 1963 .

[9]  C. Tsinakis,et al.  Ordered algebraic structures , 1985 .

[10]  Ewa Orlowska,et al.  Relational Methods for Computer Science Applications , 2001 .

[11]  Ivo Düntsch,et al.  Beyond modalities: sufficiency and mixed algebras , 2001 .

[12]  Alasdair Urquhart,et al.  A topological representation theory for lattices , 1978 .

[13]  C. Tsinakis,et al.  A Survey of Residuated Lattices , 2002 .

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

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

[16]  Anna Maria Radzikowska,et al.  Double Residuated Lattices and Their Applications , 2001, RelMiCS.

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

[18]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[19]  Ewa Orlowska.  Information Algebras , 1995, AMAST.

[20]  Marc Roubens,et al.  Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[21]  James B. Hart,et al.  The Structure of Commutative Residuated Lattices , 2002, Int. J. Algebra Comput..

[22]  J. Michael Dunn,et al.  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.