Switch to: References

Citations of:

Algebraic and Kripke Semantics for Substructural Logics

Dissertation, Indiana University (1994)

Add citations

You must login to add citations.
  1. Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
    Part I of this paper is developed in the tradition of Stone-type dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compact-opens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality.In part II, we consider lattice-ordered algebras (lattices with additional operators), extending the Jónsson and Tarski (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations