Implication connectives in orthomodular lattices

, &
Notre Dame Journal of Formal Logic 16 (3):305-328 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891789

Links

PhilArchive



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

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

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.
Material implication in orthomodular (and Boolean) lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
The representation of Takeuti's *20c ||_ -operator.Roger M. Cooke & Michiel Lambalgen - 1983 - Studia Logica 42 (4):407 - 415.
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
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.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
Abstract of "contrast and implication in natural language".Yoad Winter - manuscript
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Contrast and Implication in Natural Language.Yoad Winter - 1994 - Journal of Semantics 11 (4):365-406.

Analytics

Added to PP
2010-08-24

Downloads
28 (#558,865)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

L-algebras and three main non-classical logics.Wolfgang Rump - 2022 - Annals of Pure and Applied Logic 173 (7):103121.
L -effect Algebras.Wolfgang Rump & Xia Zhang - 2020 - Studia Logica 108 (4):725-750.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
Orthomodular lattices as implication algebras.Robert Piziak - 1974 - Journal of Philosophical Logic 3 (4):413 - 418.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references