A short equational axiomatization of modular ortholattices
Notre Dame Journal of Formal Logic 17 (2):311-316 (1976)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKrystyna Mruczek-Nasieniewska (forthcoming). The Varieties Defined by P -Compatible Identities of Modular Ortholattices. Studia Logica.
Bolesław Sobociński (1976). A Short Equational Axiomatization of Orthomodular Lattices. Notre Dame Journal of Formal Logic 17 (2):317-320.
Bolesław Sobociński (1975). A Short Postulate-System for Ortholattices. Notre Dame Journal of Formal Logic 16 (1):141-144.
Bolesław Sobociński (1972). An Equational Axiomatization of Associative Newman Algebras. Notre Dame Journal of Formal Logic 13 (2):265-269.
Bolesław Sobociński (1972). An Equational Axiomatization and a Semi-Lattice Theoretical Characterization of Mixed Associative Newman Algebras. Notre Dame Journal of Formal Logic 13 (3):407-423.
Diego Vaggione (1996). Definability of Directly Indecomposable Congruence Modular Algebras. Studia Logica 57 (2-3):239 - 241.
Markus Junker & Ingo Kraus (2002). Theories with Equational Forking. Journal of Symbolic Logic 67 (1):326-340.
M. E. Adams & R. Cignoli (1990). A Note on the Axiomatization of Equational Classes of $N$-Valued Ł Ukasiewicz Algebras. Notre Dame Journal of Formal Logic 31 (2):304-307.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.
Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343 - 355.
Bolesław Sobociński (1979). Equational Two Axiom Bases for Boolean Algebras and Some Other Lattice Theories. Notre Dame Journal of Formal Logic 20 (4):865-875.
Bolesław Sobociński (1976). The Modular Latticoids. Notre Dame Journal of Formal Logic 17 (4):617-621.
Bolesław Sobociński (1973). A New Axiomatization of Modal System ${\Rm K}1.2$. Notre Dame Journal of Formal Logic 14 (3):413-414.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,921 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
