Sciweavers

952 search results - page 4 / 191
» Substructural fuzzy logics
Sort
View
FUZZY
2004
Springer
130views Fuzzy Logic» more  FUZZY 2004»
14 years 29 days ago
Mining Class Hierarchies from XML Data: Representation Techniques
Paolo Ceravolo, Ernesto Damiani
LFCS
2007
Springer
14 years 1 months ago
Density Elimination and Rational Completeness for First-Order Logics
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
Agata Ciabattoni, George Metcalfe
EUSFLAT
2009
165views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Fuzzy Descriptions Logics with Fuzzy Truth Values
Fernando Bobillo, Umberto Straccia