References
- Cignoli , R. , D'Ottaviano , I.M.L. and Mundici , D. 2000 . Algebraic foundations of many-valued reasoning , Dordrecht : Kluwer Academic Publisher .
- Czelakowski , J. 1974 . Logics based on partial Boolean σ-algebras. I . Student log , 33 : 371 – 396 .
- Dalla Chiara , M.L. and Giuntini , R. 1995 . The logics of orthoalgebras . Studia logica , 55 : 3 – 22 .
- Dvurečenskij , A. and Pulmannová , S. 2000 . New trends in quantum structures , Dordrecht : Kluwer Academic Publisher and Bratislava: Ister Science .
- Foulis , D.J. and Bennett , M.K. 1994 . Effect algebras and unsharp quantum logics . Foundations of physics , 24 : 1325 – 1346 .
- Kochen , S. and Specker , E.P. 1965 . “ Logical structures arising in quantum theory ” . In Theory of models , Edited by: Addison , J. , Henkin , L. and Tarski , A. 177 – 189 . Amsterdam : North-Holland .
- Lubotzky , A. 1988 . A group theoretic characterization of linear groups . Journal of algebra , 113 : 207 – 214 .
- Mayet , R. 1998 . Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms . International journal of theoritical physics , 37 : 109 – 114 .
- Mayet , R. and Pulmannová , S. 1994 . Nearly orthosymmetric ortholattices and Hilbert spaces . Foundation of physics , 24 : 1425 – 1437 .
- Metcalfe , G. , Olivetti , N. and Gabbay , D. 2002 . “ Analytic sequent calculi for Abelian and Łukasiewicz logics ” . In Automated reasoning with analytic tableaux and related methods , Edited by: Egly , U. 191 – 205 . Berlin : Springer-Verlag . Proceeding of the 11th conference TABLEAUX (Copenhagen 2002)
- Pedersen , G.K. 1989 . Analysis now , New York : Springer-Verlag .
- Solèr , M.P. 1995 . Characterization of Hilbert spaces by orthomodular spaces . Communication algebra , 23 : 219 – 243 .