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)Author's Profile
DOI
10.1305/ndjfl/1093883401
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
Orthomodular lattices as implication algebras.Robert Piziak - 1974 - Journal of Philosophical Logic 3 (4):413 - 418.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
Implication connectives in orthomodular lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.
The representation of Takeuti's *20c ||_ -operator.Roger M. Cooke & Michiel Lambalgen - 1983 - Studia Logica 42 (4):407 - 415.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Partial Boolean algebras in a broader sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.Roberto Cignoli & Antoni Torrens - 2012 - Studia Logica 100 (6):1107-1136.
Free modal lattices via Priestley duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions.Jarosław Pykacz - 2000 - Notre Dame Journal of Formal Logic 41 (1):59-76.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
The Logic of Experimental Questions.R. I. G. Hughes - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Analytics
Added to PP
2010-08-24
Downloads
30 (#391,096)
6 months
1 (#447,993)
2010-08-24
Downloads
30 (#391,096)
6 months
1 (#447,993)
Historical graph of downloads
Author's Profile
Citations of this work
Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.
A bridge between q-worlds.Benjamin Eva, Masanao Ozawa & Andreas Doering - 2021 - Review of Symbolic Logic 14 (2):447-486.
Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
Quantum logic and the projection postulate.Geoffrey Hellman - 1981 - Philosophy of Science 48 (3):469-486.
A substructural Gentzen calculus for orthomodular quantum logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - forthcoming - Review of Symbolic Logic:1-22.
