- 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
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.
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.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
Quasivarieties generated by simple MV-algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.
Quasivarieties Generated by Simple MV-Algebras.Joan Gispert Brasó & Antoni Torrens Torrell - 1998 - Studia Logica 61 (1):79-99.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.
Analytics
Added to PP
2013-12-01
Downloads
15 (#923,100)
6 months
5 (#629,136)
2013-12-01
Downloads
15 (#923,100)
6 months
5 (#629,136)
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-7c76586df8-5tf24 uwo