You are not currently logged in.
Access JSTOR through your library or other institution:
Equationally Definable Implication Algebras for Orthomodular Lattices
G. N. Georgacarakos
Studia Logica: An International Journal for Symbolic Logic
Vol. 39, No. 1 (1980), pp. 5-18
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014968
Page Count: 14
Preview not available
The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.
Studia Logica: An International Journal for Symbolic Logic © 1980 Springer