Results 1 to 10 of about 176 (63)
Commutative Rings Behind Divisible Residuated Lattices
Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek’s basic logic with an important significance in the study of fuzzy logic.
Cristina Flaut, Dana Piciu
doaj +3 more sources
Residual Division Graph of Lattice Modules [PDF]
Let L be a multiplicative lattice and M be a lattice module over L. In this paper, we assign a graph to M called residual division graph RG(M) in which the element N ∈ M is a vertex if there exists 0M ≠ P ∈ M such that NP = 0M and two vertices N1, N2 are adjacent if N1N2 = 0M (where N1N2 = (N1 : IM)(N2 : IM)IM).
Ganesh Gandal +2 more
openaire +2 more sources
Gődel filters in residuated lattices
In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +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
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
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
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
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

