Results 11 to 20 of about 6,883 (313)
On the Isotopy of some Varieties of Fenyves Quasi Neutrosophic Triplet Loop (Fenyves BCI-algebras) [PDF]
Neutrosophic Sets and Systems, 2020 Neutrosophy theory has found application in health sciences in recent years. There is the need to develop neutrosophic algebraic systems which are good and appropriate for studying and understanding the effects of diseases and their possible treatments.
Temitope Gbolahan Jaiyéolá +3 more
doaj +1 more source
Quasi-polynomials of Capelli. III [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2021 In this paper polynomials of Capelli type (double and quasi-polynomials of Capelli) belonging to a free associative algebra $F\{X\cup Y\}$ considering over an arbitrary field $F$ and generated by two disjoint countable sets $X, Y ...
Antonov, Stepan Yuryevich +1 more
doaj +1 more source
Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part I [PDF]
, 2012 We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of sub-quasivarieties of K) is ...
Adaricheva K. V. +6 more
core +14 more sources
Admissibility via Natural Dualities [PDF]
, 2015 It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be ...
Cabrer, Leonardo Manuel +1 more
core +3 more sources
On \(\omega\)-independent bases for quasi-identities
Sibirskie Elektronnye Matematicheskie Izvestiya, 2017 A quasivariety \(\mathbf{K}\) is a class of algebraic systems closed under isomorphisms, subsystems, direct products, and ultraproducts, or equivalently a class defined by quasi-identities. Any defining set of quasi-identities for \(\mathbf{K}\) is called a (quasi-equational) \textit{basis} of \(\mathbf{K}\).
Basheyeva, A. O., Yakovlev, A. V.
openaire +1 more source
Quasi-identities of finite semigroups and symbolic dynamics [PDF]
Israel Journal of Mathematics, 1995 An algebra is called inherently non-finitely \((Q-)\) based if it is not contained in any locally finite and finitely based (quasi-)variety. \textit{M. V. Sapir} first proved that there exist finite inherently non-finitely based semigroups [Izv. Akad. Nauk SSSR, Ser. Mat. 51, No.
Margolis, Stuart W., Sapir, Mark V.
openaire +2 more sources
On semigroups of relations with the operation of the rectangular product [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. ИнформатикаA set of binary relations closed with respect to some collection of operations on relations forms an algebra called an algebra of relations. The theory of algebras of relations is an essential part of modern algebraic logic and has numerous applications ...
Bredikhin, Dmitry Aleksandrovich
doaj +1 more source
Identities in the Algebra of Partial Maps [PDF]
, 2006 We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable.
Jackson, Marcel, Stokes, Tim E.
core +2 more sources
Some non-standard quasivarieties of lattices
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The questions of the standardness of quasivarieties have been investigated by many authors. The problem "Which finite lattices generate a standard topological prevariety?" was suggested by D.M. Clark, B.A. Davey, M.G. Jackson and J.G. Pitkethly in 2008.
S.M. Lutsak +3 more
doaj +1 more source
, 2020 We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation.
Fritz, Tobias
core +1 more source