Material implication in orthomodular (and Boolean) lattices
Notre Dame Journal of Formal Logic 22 (2):163-182 (1981)
| 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,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesG. N. Georgacarakos (1980). Equationally Definable Implication Algebras for Orthomodular Lattices. Studia Logica 39 (1):5 - 18.
Robert Piziak (1974). Orthomodular Lattices as Implication Algebras. Journal of Philosophical Logic 3 (4):413 - 418.
Gary M. Hardegree (1981). An Axiom System for Orthomodular Quantum Logic. Studia Logica 40 (1):1 - 12.
L. Herman, E. L. Marsden & R. Piziak (1975). Implication Connectives in Orthomodular Lattices. Notre Dame Journal of Formal Logic 16 (3):305-328.
Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's *20c ||_ -Operator. Studia Logica 42 (4):407 - 415.
J. C. Abbott (1976). Orthoimplication Algebras. Studia Logica 35 (2):173 - 177.
Janusz Czelakowski (1979). Partial Boolean Algebras in a Broader Sense. Studia Logica 38 (1):1 - 16.
Roberto Cignoli & Antoni Torrens (2012). Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Studia Logica 100 (6):1107-1136.
Claudia B. Wegener (2002). Free Modal Lattices Via Priestley Duality. Studia Logica 70 (3):339 - 352.
Bolesław Sobociński (1976). A Short Equational Axiomatization of Orthomodular Lattices. Notre Dame Journal of Formal Logic 17 (2):317-320.
Jarosław Pykacz (2000). New Operations on Orthomodular Lattices: ``Disjunction'' and ``Conjunction'' Induced by Mackey Decompositions. Notre Dame Journal of Formal Logic 41 (1):59-76.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
R. I. G. Hughes (1982). The Logic of Experimental Questions. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Liza Verhoeven (2007). The Relevance of a Relevantly Assertable Disjunction for Material Implication. Journal of Philosophical Logic 36 (3):339-366.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads6 ( #145,498 of 549,007 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
