Results 11 to 20 of about 204 (74)
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
Preferences in discrete multi-adjoint formal concept analysis [PDF]
Multi-adjoint concept lattice theory is a general fuzzy approach of formal concept analysis, which has diverse interesting properties. One of them is that it is possible to provide different degrees of preference among the set of objects/attributes ...
Cornejo Piñero, María Eugenia +3 more
core +1 more source
Interval-valued algebras and fuzzy logics [PDF]
In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval.
Cornelis, Chris +2 more
core +5 more sources
Quasivarieties of Wajsberg hoops [PDF]
In this paper we deal with quasivarieties of residuated structures which form the equivalent algebraic semantics of a positive frag- ment of some substructural logic.
Agliano', Paolo
core +1 more source
Why most papers on filters are really trivial (including this one) [PDF]
The aim of this note is to show that many papers on various kinds of filters (and related concepts) in (subreducts of) residuated structures are in fact easy consequences of more general results that have been known for a long ...
Aglianò, Paolo
core +3 more sources
Residuated structures and orthomodular lattices [PDF]
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., ℓ-groups, Heyting algebras, MV-algebras, or De Morgan monoids.
fazio, davide +2 more
core +2 more sources
Model completions for universal classes of algebras: necessary and sufficient conditions [PDF]
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler.
Metcalfe, George, Reggio, Luca
core +3 more sources
Minimal determinization algorithm for fuzzy automata [PDF]
The determinization of fuzzy automata is a well-studied problem in theoretical computer science celebrated for its practical applications. Indeed, in the fields of fuzzy discrete event systems, fault diagnosis, clinical monitoring, decision-making ...
Fariña Figueredo, Federico +2 more
core +1 more source
Annihilators in Universal Algebras: A New Approach
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
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

