Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • The Algebra of Intensional Logics.Jon Michael Dunn - 1966 - Dissertation, University of Pittsburgh
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
    This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.
    This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.
    Download  
     
    Export citation  
     
    Bookmark   37 citations