Results 61 to 70 of about 101 (90)

Subquasivarieties of implicative locally‐finite quasivarieties

Mathematical Logic Quarterly, 2010
AbstractA quasivariety is said to be implicative if it is generated by a class of algebras with equationally‐definable implication of equalities. Implicative finitely‐generated quasivarieties appear naturally within logic, for instance, as equivalent quasivarieties of Gentzen‐style calculi for finitely‐valued propositional logics with equality ...
openaire   +2 more sources

Quasivarieties of equivalential algebras

Reports Math. Log., 1995
Summary: The expressive power of constants in the quasi-equational logic is considered. We describe three 3-element algebras \(A_1, A_2, A_3\) such that \(A_{i+1}\) is obtained from \(A_i\) by adding one constant to the signature and such that the quasivariety generated by \(A_2\) has infinitely many subquasivarieties, while both \(A_1\) and \(A_3 ...
openaire   +2 more sources

Dominions in quasivarieties of universal algebras

Studia Logica, 2004
Let \(\mathcal M\) be a class of algebras, and let \(H\) be a subalgebra of the algebra \(A\), then the dominion of \(H\) in \(A\) (in a class \(\mathcal M\)) is defined by: \[ \text{dom}^{\mathcal M}_A(H)=\{a\in A\mid \forall M\in {\mathcal M}, \forall f,g : A\to M (f| _h=g| _g \Rightarrow a^f=a^g)\}.
openaire   +2 more sources

On the axiomatic ranks of some quasivarieties

Siberian Mathematical Journal, 1999
The author studies the axiomatic rank of quasivarieties of torsion-free nilpotent groups of class at most \(2\). Theorem 1. There are no quasivarieties of torsion-free nilpotent groups of class at most \(2\) which have axiomatic rank equal to \(3\).
openaire   +1 more source

Least V-quasivarieties of MV-algebras

Fuzzy Sets and Systems, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

On ∞-quasivarieties

Russian Mathematics, 2011
openaire   +1 more source

Categorial quasivarieties

Algebra and Logic, 1972
Abakumov, A. I., Palyutin, E. A., Tajtslin, M. A., Shishmarev, Yu. E.   +3 more
openaire   +1 more source

Every minimal dual discriminator variety is minimal as a quasivariety

Algebra Universalis, 2021
Keith Kearnes, Agnes Szendrei, Pedro Sanchez Terraf   +2 more
exaly  

Structure of Quasivariety Lattices. III. Finitely Partitionable Bases

Algebra and Logic, 2020
Schwidefsky M V, Kravchenko A V, Nurakunov A M   +2 more
exaly  

A relatively finite-to-finite universal but not Q-universal quasivariety

Algebra Universalis, 2022
M E Adams, W Dziobiak
exaly