Switch to: Citations

Add references

You must login to add references.
  1. Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators.Chrysafis Hartonas - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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  
  • Quantum Logic as Motivated by Quantum Computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353 - 359.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Quantum logic as motivated by quantum computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353-359.
    Download  
     
    Export citation  
     
    Bookmark   5 citations