Material implication in orthomodular (and Boolean) lattices

Notre Dame Journal of Formal Logic 22 (2):163-182 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,140

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Orthomodular lattices as implication algebras.Robert Piziak - 1974 - Journal of Philosophical Logic 3 (4):413 - 418.
Implication connectives in orthomodular lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
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.
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)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gary Hardegree
University of Massachusetts, Amherst

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.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references