Orthomodular lattices as implication algebras
Journal of Philosophical Logic 3 (4):413 - 418 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGary M. Hardegree (1981). An Axiom System for Orthomodular Quantum Logic. Studia Logica 40 (1):1 - 12.
Richard Holzer (2004). On Subdirectly Irreducible OMAs. Studia Logica 78 (1-2):261 - 277.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's *20c ||_ -Operator. Studia Logica 42 (4):407 - 415.
M. Campercholi, D. Castaño & J. P. Díaz Varela (2011). Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. Studia Logica 98 (1-2):267-283.
Gary M. Hardegree (1981). Material Implication in Orthomodular (and Boolean) Lattices. Notre Dame Journal of Formal Logic 22 (2):163-182.
Roberto Giuntini (1996). Quantum MV Algebras. Studia Logica 56 (3):393 - 417.
J. C. Abbott (1976). Orthoimplication Algebras. Studia Logica 35 (2):173 - 177.
L. Herman, E. L. Marsden & R. Piziak (1975). Implication Connectives in Orthomodular Lattices. Notre Dame Journal of Formal Logic 16 (3):305-328.
G. N. Georgacarakos (1980). Equationally Definable Implication Algebras for Orthomodular Lattices. Studia Logica 39 (1):5 - 18.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,434 of 548,951 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
