Results 11 to 20 of about 153 (86)
Journal of Mathematics, Volume 2022, Issue 1, 2022., 2022 The main goal of this paper is to introduce and investigate the related theory on monadic effect algebras. First, we design the axiomatic system of existential quantifiers on effect algebras and then use it to give the definition of the universal quantifier and monadic effect algebras.
Yuxi Zou, Xiaolong Xin, Li Guo
wiley +1 more source
On Cubic KU‐Ideals of KU‐Algebras
International Scholarly Research Notices, Volume 2013, Issue 1, 2013., 2013 We introduce the notion of cubic KU‐ideals of KU‐algebras and several results are presented in this regard. The image, preimage, and cartesian product of cubic KU‐ideals of KU‐algebras are defined.
Naveed Yaqoob +4 more
wiley +1 more source
A notion of functional completeness for first‐order structure
International Journal of Mathematics and Mathematical Sciences, Volume 2005, Issue 14, Page 2207-2215, 2005., 2005 Using ☆‐congruences and implications, Weaver (1993) introduced the concepts of prevariety and quasivariety of first‐order structures as generalizations of the corresponding concepts for algebras. The notion of functional completeness on algebras has been defined and characterized by Burris and Sankappanavar (1981), Kaarli and Pixley (2001), Pixley ...
Etienne R. Alomo Temgoua, Marcel Tonga
wiley +1 more source
On some properties of quasivarieties generated by specific finite modular lattices
, 2022 S.M. Lutsak, O.A. Voronina
openalex +2 more sources
Structure of quasivariety lattices. II. Undecidable problems
Algebra i logika, 2019 The paper provides sufficient conditions for a quasivariety \(\mathbf M\) to contain continuumly many subquasivarieties \(\mathbf K\) such that the membership problem for finitely presented structures in \(\mathbf M\) is undecidable in \(\mathbf K\), the finite membership problem is undecidable in \(\mathbf K\), the quasi-equational theory of \(\mathbf
Kravchenko, A. V. +2 more
+4 more sources
UNREASONABLE LATTICES OF QUASIVARIETIES
International Journal of Algebra and Computation, 2012 A quasivariety is a universal Horn class of algebraic structures containing the trivial structure. The set [Formula: see text] of all subquasivarieties of a quasivariety [Formula: see text] forms a complete lattice under inclusion. A lattice isomorphic to [Formula: see text] for some quasivariety [Formula: see text] is called a lattice of ...
A. M. Nurakunov
+5 more sources
Structure of quasivariety lattices. III. Finitely partitionable bases
Algebra i logika, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kravchenko, A. V. +2 more
+4 more sources
The lattice of quasivarieties of semigroups
Algebra Universalis, 1985 A quasivariety is a class of similar algebras which is closed under the formation of subalgebras, products and ultra-products (equivalently, definable by ''quasi-identities'' or ''implications''). The quasivariety generated by an algebra A is denoted Q(A). The lattice of subquasivarieties of a quasivariety \({\mathcal K}\) is denoted L(\({\mathcal K}).\
Mark Sapir
openaire +3 more sources
Structure of quasivariety lattices. I. Independent axiomatizability
Algebra i logika, 2017 A quasivariety \(K\) has an \(\omega \)-independent quasi-equational basis in a quasivariety \(M\) if there are a basis \(\Phi \) of \(K\) in \(M\) and a partition \(\Phi =\cup_ ...
Kravchenko, A. V. +2 more
openaire +2 more sources