Results 11 to 20 of about 190 (76)
The relations among fuzzy t-filters on residuated lattices. [PDF]
ScientificWorldJournal, 2014 We give the simple general principle of studying the relations among fuzzy t‐filters on residuated lattices. Using the general principle, we can easily determine the relations among fuzzy t‐filters on different logical algebras.
Zhang H, Li Q.
europepmc +2 more sources
Fuzzy Ideals in Pseudo‐Hoop Algebras
International Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022 In this study, fuzzy ideals in pseudo‐hoop algebras are presented. Also, we investigate fuzzy congruences relations on pseudo‐hoop algebras induced by fuzzy ideals. By using fuzzy ideals, we create the fuzzy quotient pseudo‐hoop algebras and identify and demonstrate the one‐to‐one relationship between the set of all normal fuzzy ideals of a pseudo‐hoop
Teferi Getachew Alemayehu +1 more
wiley +1 more source
On State Ideals and State Relative Annihilators in De Morgan State Residuated Lattices
International Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022 The concept of state has been considered in commutative and noncommutative logical systems, and their properties are at the center for the development of an algebraic investigation of probabilistic models for those algebras. This article mainly focuses on the study of the lattice of state ideals in De Morgan state residuated lattices (DMSRLs).
Francis Woumfo +4 more
wiley +1 more source
Journal of Mathematics, Volume 2021, Issue 1, 2021., 2021 The concepts of (commutative, transitive, left exchangeable, belligerent, antisymmetric) interior GE‐algebras and bordered interior GE‐algebras are introduced, and their relations and properties are investigated. Many examples are given to support these concepts. A semigroup is formed using the set of interior GE‐algebras.
Jeong-Gon Lee +4 more
wiley +1 more source
Annihilators in Universal Algebras: A New Approach
Journal of Mathematics, Volume 2020, Issue 1, 2020., 2020 The purpose of this paper is to study annihilators and annihilator ideals in a more general context; in universal algebras.
Gezahagne Mulat Addis, Andrei V. Kelarev
wiley +1 more source
Strongly divisible lattices and crystalline cohomology in the imperfect residue field case
Selecta Mathematica, 2023 Let $k$ be a perfect field of characteristic $p \geq 3$, and let $K$ be a finite totally ramified extension of $K_0 = W(k)[p^{-1}]$. Let $L_0$ be a complete discrete valuation field over $K_0$ whose residue field has a finite $p$-basis, and let $L = L_0\otimes_{K_0} K$.
openaire +3 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
Quantifier elimination and other model-theoretic properties of BL-algebras [PDF]
, 2016 This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier ...
Cortonesi, Tommaso +2 more
core +1 more source
Many-Valued Institutions for Constraint Specification [PDF]
, 2016 We advance a general technique for enriching logical systems with soft constraints, making them suitable for specifying complex software systems where parts are put together not just based on how they meet certain functional requirements but also on how ...
BC Pierce +23 more
core +2 more sources
Advances in the theory of μŁΠ algebras [PDF]
, 2016 Recently an expansion of ŁΠ1/2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μŁΠ algebras, from algebraic, model theoretic and computational standpoints.
Marchioni, Enrico, Spada, Luca
core +1 more source