Equationally definable implication algebras for orthomodular lattices
Studia Logica 39 (1):5 - 18 (1980)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesP. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Richard Holzer (2004). On Subdirectly Irreducible OMAs. Studia Logica 78 (1-2):261 - 277.
Gary M. Hardegree (1981). An Axiom System for Orthomodular Quantum Logic. Studia Logica 40 (1):1 - 12.
L. Herman, E. L. Marsden & R. Piziak (1975). Implication Connectives in Orthomodular Lattices. Notre Dame Journal of Formal Logic 16 (3):305-328.
Roberto Giuntini (1996). Quantum MV Algebras. Studia Logica 56 (3):393 - 417.
Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's *20c ||_ -Operator. Studia Logica 42 (4):407 - 415.
Gary M. Hardegree (1981). Material Implication in Orthomodular (and Boolean) Lattices. Notre Dame Journal of Formal Logic 22 (2):163-182.
J. C. Abbott (1976). Orthoimplication Algebras. Studia Logica 35 (2):173 - 177.
Robert Piziak (1974). Orthomodular Lattices as Implication Algebras. Journal of Philosophical Logic 3 (4):413 - 418.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #202,008 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
