Results 51 to 60 of about 74 (68)
Some of the next articles are maybe not open access.
Dominions in quasivarieties of metabelian groups
Siberian Mathematical Journal, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Quasivarieties generated by partially commutative groups
Siberian Mathematical Journal, 2013A free partially commutative group is a group of the form \(F=\langle X\mid x_ix_j=x_jx_i\) if \((x_i,x_j)\in E\rangle\), where \(E\) is the set of edges of a given graph. If we add the identity \([[x,y],[u,v]]=1\) to the defining relations of \(F\) we obtain a free partially commutative metabelian group.
openaire +1 more source
Minimal quasivarieties of endographs
Mathematical Notes, 1992Let \(\langle A; p,f\rangle\) be an algebraic system containing a binary predicate symbol \(p\) and a unary function symbol \(f\). An algebraic system \(\langle A; p,f\rangle\) is said to be an endograph if it satisfies the quasi-identity \((\forall x)(\forall y)(p(x,y)\to p(f(x),f(y)))\).
openaire +2 more sources
Maximal quasivarieties of groups
Algebra and Logic, 1998Lattices \(L_q(qG)\) of quasivarieties contained in the quasivariety \(qG\), generated by a polycyclic-by-finite group \(G\), are considered. It is proved that every lattice under consideration contains finitely many coatoms (i.e. proper maximal elements) and that each of its elements distinct from \(qG\) is contained in some coatom.
openaire +2 more sources
Prelinear Algebras in Relatively Regular Quasivarieties
Order, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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
Basic Properties of Quasivarieties
2015This chapter supplies basic facts concerning quasivarieties and the equational systems associated with quasivarieties. Many of these facts are of syntactical character. An equational logic is an extension of the familiar Birkhoff’s logic. The narrative structure of the book is strictly linked with the properties of lattices of theories of equational ...
openaire +1 more source