Studia Logica 91 (1):113-123 (2009)
| Authors | |
| Abstract |
We present some equivalent conditions for a quasivariety K of structures to be generated by a single structure. The first such condition, called the embedding property was found by A. I. Mal'tsev in [6]. It says that if A, B Є K are nontrivial, then there exists C Є X such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in X is closed under a certain Gentzen type rule which is due to J. Lo#x015B; and R. Suszko [5]
|
| Keywords | Philosophy Computational Linguistics Mathematical Logic and Foundations Logic |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11225-009-9168-3 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On Cardinality of Matrices Strongly Adequate for the Intuitionistic Propositional Logic.Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):34-40.
Citations of this work BETA
Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
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.
Algebraic Study of Sette's Maximal Paraconsistent Logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
Another Proof That ISP R is the Least Quasivariety Containing K.Janusz Czelakowski & Wies?aw Dziobiak - 1982 - Studia Logica 41 (4):343 - 345.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Quasivarieties Generated by Simple MV-Algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.
Subquasivarieties of Implicative Locally-Finite Quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Quasivarieties Generated by Simple MV-Algebras.Joan Gispert Brasó & Antoni Torrens Torrell - 1998 - Studia Logica 61 (1):79-99.
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.
Subvarieties of BL-Algebras Generated by Single-Component Chains.Antonio Di Nola, Francesc Esteva, Pere Garcia, Lluís Godo & Salvatore Sessa - 2002 - Archive for Mathematical Logic 41 (7):673-685.
Model Companions for Finitely Generated Universal Horn Classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
On the Lattice of Quasivarieties of Sugihara Algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Basic Hoops: An Algebraic Study of Continuous T -Norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
Analytics
Added to PP index
2009-01-28
Total views
44 ( #228,976 of 2,411,838 )
Recent downloads (6 months)
1 ( #538,761 of 2,411,838 )
2009-01-28
Total views
44 ( #228,976 of 2,411,838 )
Recent downloads (6 months)
1 ( #538,761 of 2,411,838 )
How can I increase my downloads?
Downloads
