Orthomodular lattices as implication algebras

Journal of Philosophical Logic 3 (4):413 - 418 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00257483

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

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.
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
Material implication in orthomodular (and Boolean) lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
The representation of Takeuti's *20c ||_ -operator.Roger M. Cooke & Michiel Lambalgen - 1983 - Studia Logica 42 (4):407 - 415.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
On subdirectly irreducible OMAs.Richard Holzer - 2004 - Studia Logica 78 (1-2):261 - 277.
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.

Analytics

Added to PP
2009-01-28

Downloads
29 (#521,313)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The conditional in quantum logic.Gary M. Hardegree - 1974 - Synthese 29 (1-4):63 - 80.
Sequential method in quantum logic.Hirokazu Nishimura - 1980 - Journal of Symbolic Logic 45 (2):339-352.
Unified quantum logic.Mladen Pavičić - 1989 - Foundations of Physics 19 (8):999-1016.

Add more citations

References found in this work

Implication connectives in orthomodular lattices.L. Herman, E. L. Marsden & R. Piziak - 1975 - Notre Dame Journal of Formal Logic 16 (3):305-328.

Add more references