Duality via Truth for Information Algebras Based on De Morgan Lattices

Duality via truth is a kind of correspondence between a class of algebras and a class of relational systems (frames). These classes are viewed as two kinds of semantics for some logic: algebraic semantics and Kripke-style semantics, respectively. Having defined the notion of truth, the duality principle states that a sequent/formula is true in one semantics if and only if it is true in the other one. In consequence, the algebras and their corresponding frames express equivalent notion of truth. In this paper we develop duality via truth between modal algebras based on De Morgan lattices and their corresponding frames. Some axiomatic extensions of these algebras are considered. Basing on these results we present duality via truth between some classes of latticebased information algebras and their corresponding frames.

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

[2]  Ewa Orlowska,et al.  Discrete Dualities for Heyting Algebras with Operators , 2007, Fundam. Informaticae.

[3]  Berthold Schweizer,et al.  Probabilistic Metric Spaces , 2011 .

[4]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[5]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[6]  Anna Maria Radzikowska,et al.  Fuzzy Rough Sets Based on Residuated Lattices , 2004, Trans. Rough Sets.

[7]  Ewa Orlowska,et al.  Context Algebras, Context Frames, and Their Discrete Duality , 2008, Trans. Rough Sets.

[8]  Anna Maria Radzikowska,et al.  Relational Representability for Algebras of Substructural Logics , 2005, RelMiCS.

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

[10]  Anna Maria Radzikowska.  Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions , 2016, Fundam. Informaticae.

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

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

[13]  Ivo Düntsch,et al.  A discrete duality between apartness algebras and apartness frames , 2008, J. Appl. Non Class. Logics.

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

[15]  Anna Maria Radzikowska,et al.  Knowledge Algebras and Their Discrete Duality , 2013, Rough Sets and Intelligent Systems.

[16]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

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

[18]  Ewa Orlowska,et al.  Algebras for Galois-style connections and their discrete duality , 2010, Fuzzy Sets Syst..

[19]  Anna Maria Radzikowska,et al.  On Lattice-Based Fuzzy Rough Sets , 2011, 35 Years of Fuzzy Set Theory.

[20]  Ewa Orlowska,et al.  Relational Representation Theorems for Lattices with Negations: A Survey , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

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

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

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

[24]  Anna Maria Radzikowska,et al.  Lattice-Based Relation Algebras II , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[25]  J. Kacprzyk,et al.  Incomplete Information: Rough Set Analysis , 1997 .

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

[27]  Anna Maria Radzikowska,et al.  Characterisation of main classes of fuzzy relations using fuzzy modal operators , 2005, Fuzzy Sets Syst..