Switch to: Citations

Add references

You must login to add references.
  1. Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • Semi-Boolean algebras and their applications to intuitionistic logic with dual operations.Cecylia Rauszer - 1974 - Fundamenta Mathematicae 83:219-249.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
    A method of defining semantics of logics based on not necessarily distributive lattices is presented. The key elements of the method are representation theorems for lattices and duality between classes of lattices and classes of some relational systems . We suggest a type of duality referred to as a duality via truth which leads to Kripke-style semantics and three-valued semantics in the style of Allwein-Dunn. We develop two new representation theorems for lattices which, together with the existing theorems by Urquhart (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations