- 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
Open questions related to the problem of Birkhoff and Maltsev
Studia Logica 78 (1):357-378 (2004)
Abstract
The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.My notes
Similar books and articles
Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5-20.
Deciding some Maltsev conditions in finite idempotent algebras.Alexandr Kazda & Matt Valeriote - 2020 - Journal of Symbolic Logic 85 (2):539-562.
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics.Eunsuk Yang - 2023 - Studia Logica 111 (3):501-519.
Von Neumann’s Concept of Quantum Logic and Quantum Probability.Miklós Rédei - 2001 - Vienna Circle Institute Yearbook 8:153-172.
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem.Yoshiki Nakamura & Naosuke Matsuda - 2021 - Studia Logica 109 (6):1413-1422.
Maltsev conditions for general congruence meet-semidistributive algebras.Miroslav Olšák - 2021 - Journal of Symbolic Logic 86 (4):1432-1451.
Foundations of logic: completeness, incompleteness, computability.Dag Westerståhl - 2022 - Beijing: CSLI Publications & Tsinghua University.
Applying Pregroups to Italian Statements and Questions.Claudia Casadio - 2007 - Studia Logica 87 (2-3):253-268.
Vincent F. Hendricks and Pelle G. Hansen, game theory: 5 questions.Jeffrey Helzner - 2008 - Studia Logica 89 (1):149-150.
Quantified propositional logic and the number of lines of tree-like proofs.Alessandra Carbone - 2000 - Studia Logica 64 (3):315-321.
Birkhoff George D. and Birkhoff Garrett. Distributive postulates for systems like Boolean algebras. Transactions of the American Mathematical Society, vol. 60 pp. 3–11. [REVIEW]J. C. C. McKinsey - 1947 - Journal of Symbolic Logic 12 (1):28-29.
Analytics
Added to PP
2009-01-28
Downloads
47 (#330,788)
6 months
6 (#504,917)
2009-01-28
Downloads
47 (#330,788)
6 months
6 (#504,917)
Historical graph of downloads
Citations of this work
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.Marcel Jackson & Belinda Trotta - 2013 - Studia Logica 101 (1):65-94.
The Jónsson-Kiefer Property.Kira Adaricheva, Miklos Maróti, Ralph Mckenzie, J. B. Nation & Eric R. Zenk - 2006 - Studia Logica 83 (1-3):111-131.
The Jónsson-Kiefer Property.Kira Adaricheva, Ralph Mckenzie, Eric Richard Zenk, M. Mar & James B. Nation - 2006 - Studia Logica 83 (1-3):111-131.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Quasivarieties of Modules Over Path Algebras of Quivers.Keith A. Kearnes - 2006 - Studia Logica 83 (1-3):333-349.
References found in this work
Topics in the Theory of Strengthenings of Sentential Calculi.Grzegorz Malinowski - 1981 - Studia Logica 40 (4):416-417.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Degrees of maximality of Klukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213-228.
Definability in lattices of equational theoris.Ralph McKenzie - 1971 - Annals of Mathematical Logic 3 (2):197-237.
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