Results 11 to 20 of about 494 (99)
Finite Lattices Generating Not Finitely–Based and Nonstandard Quasivarieties
Journal of MathematicsThere are two well-known and closely related problems in lattice theory: Which finite lattices generate finitely-based quasivarieties? and Which finite lattices generate standard quasivarieties?
M. A. Arapbay +2 more
doaj +2 more sources
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
The inconsistency predicate on De Morgan lattices
Acta Universitatis Carolinae: Philosophica et Historica, 2017 We consider expansions of De Morgan lattices by an additional unary predicate interpreted in each De Morgan lattice by the ideal generated by all elements of the form a ∧ −a, and describe the finite lattice of strict universal Horn classes of such ...
Adam Přenosil
doaj +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
Lattices of Quasivarieties of 3-Element Algebras
Journal of Algebra, 1994 This well-written paper contains many interesting results from the structure of lattices of subquasivarieties. A quasivariety is any class of similar algebraic structures that is closed under isomorphisms, substructures, direct products, and ultraproducts.
Adams, M.E., Dziobiak, W.
openaire +2 more sources
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
The algebra of adjacency patterns: Rees matrix semigroups with reversion [PDF]
, 2009 We establish a surprisingly close relationship between universal Horn classes of directed graphs and varieties generated by so-called adjacency semigroups which are Rees matrix semigroups over the trivial group with the unary operation of reversion.
D.M. Clark +18 more
core +2 more sources
Enriched Stone-type dualities [PDF]
, 2017 A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice.
Hofmann, Dirk, Nora, Pedro
core +2 more sources
Some properties of pseudo-BCK- and pseudo-BCI-algebras
, 2018 Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero,
Emanovský, Petr, Kühr, Jan
core +1 more source