Relational Semantics Through Duality

In this paper we show how the classical duality results extended to a Duality via Truth contribute to development of a relational semantics for various modal-like logics. In particular, we present a Duality via Truth for some classes of information algebras and frames. We also show that the full categorical formulation of classical duality extends to a full Duality via Truth.

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

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

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

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

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

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

[7]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[8]  Chris Brink,et al.  A paradigm for program semantics - power structures and duality , 2001, Studies in logic, language and information.

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

[10]  E. Orlowska,et al.  Relational Representation Theorems for Some Lattice-Based Structures , 2004 .

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

[12]  J. van Leeuwen,et al.  Theory and Applications of Relational Structures as Knowledge Instruments , 2003, Lecture Notes in Computer Science.