- 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
Subquasivarieties of implicative locally-finite quasivarieties
Mathematical Logic Quarterly 56 (6):643-658 (2010)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):27-29.
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):27-29.
Quasivarieties with Definable Relative Principal Subcongruences.Anvar M. Nurakunov & M. M. Stronkowski - 2009 - Studia Logica 92 (1):109-120.
Finitely Generated Subvarieties Of Demi-p-lattices.Hernando Gaitan - 1992 - Reports on Mathematical Logic:25-38.
Sequent Calculi And Quasivarieties.Katarzyna Palasinska - 2000 - Reports on Mathematical Logic:107-131.
Profinite Locally Finite Quasivarieties.Anvar M. Nurakunov & Marina V. Schwidefsky - forthcoming - Studia Logica:1-25.
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited.Anvar M. Nurakunov & Michał M. Stronkowski - 2013 - Studia Logica 101 (4):827-847.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
Quasivarietes Of Equivalential Algebras.Katarzyna Idziak - 1995 - Reports on Mathematical Logic:81-85.
Singly generated quasivarieties and residuated structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
Analytics
Added to PP
2013-12-01
Downloads
18 (#859,738)
6 months
7 (#491,170)
2013-12-01
Downloads
18 (#859,738)
6 months
7 (#491,170)
Historical graph of downloads
Citations of this work
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations.Alexej P. Pynko - 2020 - Bulletin of the Section of Logic 49 (4):401-437.
References found in this work
Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Logic of antinomies.F. G. Asenjo & J. Tamburino - 1975 - Notre Dame Journal of Formal Logic 16 (1):17-44.
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.
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-68866f4b87-kfj6z uwo