Results 11 to 20 of about 439 (93)
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
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
Topological representation for monadic implication algebras [PDF]
, 2009 In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra.
Abad, Manuel +2 more
core +1 more source
Finite Lattices Generating Not Finitely–Based and Nonstandard Quasivarieties
Journal of Mathematics, Volume 2025, Issue 1, 2025.There 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? The main goal of the paper is to contribute to both problems.
M. A. Arapbay +3 more
wiley +1 more source
Almost structural completeness; an algebraic approach [PDF]
, 2014 A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core
, 2019 Introduced by C. R. Shallon in 1979, graph algebras establish a useful connection between graph theory and universal algebra. This makes it possible to investigate graph varieties and graph quasivarieties, i.e., classes of graphs described by identities ...
Lehtonen, Erkko, Pöschel, Reinhard
core +1 more source
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
Sublattices of complete lattices with continuity conditions
, 2005 Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice IdS of S is both algebraic and dually algebraic.
Wehrung, Friedrich
core +3 more sources