Results 51 to 60 of about 95 (81)
Some of the next articles are maybe not open access.
2001
This chapter plays a twofold role in the book. Firstly, the chapter surveys basic facts about quasivarieties of algebras. These facts are widely utilised in the subsequent chapters devoted to algebraizable logics. Secondly, the chapter shows how the methods initially elaborated for protoalgebraic sentential logics in the first part can be also applied ...
openaire +1 more source
This chapter plays a twofold role in the book. Firstly, the chapter surveys basic facts about quasivarieties of algebras. These facts are widely utilised in the subsequent chapters devoted to algebraizable logics. Secondly, the chapter shows how the methods initially elaborated for protoalgebraic sentential logics in the first part can be also applied ...
openaire +1 more source
Dominions in quasivarieties of metabelian groups
Siberian Mathematical Journal, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Q-Universal Quasivarieties of Algebras
Proceedings of the American Mathematical Society, 1994For any quasivariety \({\mathbf K}\) of algebras (of finite type), let \(L({\mathbf K})\) be the lattice of all quasivarieties in \({\mathbf K}\). Call \({\mathbf K}\) \(Q\)-universal iff for any quasivariety \({\mathbf M}\) (of algebras of finite type), \(L({\mathbf M})\) is a homomorphic image of a sublattice of \(L({\mathbf K})\).
Adams, M. E., Dziobiak, W.
openaire +1 more source
ON FILTERS IN THE LATTICE OF QUASIVARIETIES OF GROUPS
Mathematics of the USSR-Izvestiya, 1989See the review in Zbl 0656.20032.
openaire +2 more sources
Coverings in the lattice of quasivarieties of ℓ-groups
Siberian Mathematical Journal, 1992See the review in Zbl 0772.06013.
Isaeva, O. V., Medvedev, N. Ya.
openaire +4 more sources
Quasivarieties with Definable Relative Principal Subcongruences
Studia Logica, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anvar M. Nurakunov +1 more
openaire +1 more source
Subquasivarieties of implicative locally‐finite quasivarieties
Mathematical Logic Quarterly, 2010AbstractA 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., 1995Summary: 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, 2004Let \(\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, 1999The 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