- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Definability in lattices of equational theoris
Annals of Mathematical Logic 3 (2):197-237 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Ralph McKenzie, Definability in Lattices of Equational Theories. [REVIEW]S. Burris - 1974 - Journal of Symbolic Logic 39 (3):601-602.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Review: Kirby A. Baker, Equational Axioms for Classes of Lattices. [REVIEW]Ralph McKenzie - 1974 - Journal of Symbolic Logic 39 (1):184-184.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Distributive lattices with a dual homomorphic operation. II.Alasdair Urquhart - 1981 - Studia Logica 40 (4):391 - 404.
On the equational theory of projection lattices of finite von Neumann factors.Christian Herrmann - 2010 - Journal of Symbolic Logic 75 (3):1102-1110.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
Quasivarieties of cancellative commutative binary modes.K. Matczak & A. Romanowska - 2004 - Studia Logica 78 (1-2):321 - 335.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Analytics
Added to PP
2014-01-17
Downloads
8 (#1,287,956)
6 months
2 (#1,232,442)
2014-01-17
Downloads
8 (#1,287,956)
6 months
2 (#1,232,442)
Historical graph of downloads
Citations of this work
Open questions related to the problem of Birkhoff and Maltsev.M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko - 2004 - Studia Logica 78 (1):357-378.
The existence of finitely based lower covers for finitely based equational theories.Jaroslav Ježek & George F. McNulty - 1995 - Journal of Symbolic Logic 60 (4):1242-1250.
Complexity in Young's lattice.Alexander Wires - 2022 - Annals of Pure and Applied Logic 173 (4):103075.
The contributions of Alfred Tarski to general algebra.Bjarni Jónsson - 1986 - Journal of Symbolic Logic 51 (4):883-889.
References found in this work
Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Equational Completeness of Abstract Algebras.Jan Kalicki & Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):56-56.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo