Sciweavers

15 search results - page 2 / 3
» A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Sort
View
FSS
2010
119views more  FSS 2010»
13 years 3 months ago
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...
Agata Ciabattoni, George Metcalfe, Franco Montagna
JSYML
2007
85views more  JSYML 2007»
13 years 4 months ago
Substructural fuzzy logics
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
George Metcalfe, Franco Montagna
EUSFLAT
2007
145views Fuzzy Logic» more  EUSFLAT 2007»
13 years 6 months ago
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
ISCI
2010
96views more  ISCI 2010»
13 years 3 months ago
Multi-adjoint t-concept lattices
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
Jesús Medina, Manuel Ojeda-Aciego
ECSQARU
2009
Springer
13 years 2 months ago
Soft Constraints Processing over Divisible Residuated Lattices
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
Simone Bova