Sciweavers

3 search results - page 1 / 1
» Triangle algebras: A formal logic approach to interval-value...
Sort
View
FSS
2008
87views more  FSS 2008»
13 years 6 months ago
Triangle algebras: A formal logic approach to interval-valued residuated lattices
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
13 years 8 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
ISCI
2010
100views more  ISCI 2010»
13 years 5 months ago
Filters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
Bart Van Gasse, Glad Deschrijver, Chris Cornelis, ...