Sciweavers

15 search results - page 1 / 3
» A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Sort
View
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, ...
IFSA
2007
Springer
159views Fuzzy Logic» more  IFSA 2007»
14 years 1 months ago
Counting Finite Residuated Lattices
We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. ...
Radim Belohlávek, Vilém Vychodil
APAL
2004
111views more  APAL 2004»
13 years 6 months ago
Concept lattices and order in fuzzy logic
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
Radim Belohlávek
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, ...