Sciweavers

28 search results - page 4 / 6
» Concept lattices and order in fuzzy logic
Sort
View
78
Voted
LFCS
2007
Springer
15 years 3 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
IFSA
2007
Springer
146views Fuzzy Logic» more  IFSA 2007»
15 years 3 months ago
Bipolar Queries Using Various Interpretations of Logical Connectives
In [1, 2] we studied various concepts of bipolar queries (cf. Dubois and Prade [3]). We advocated there the use of a fuzzified version of the original crisp definition introduced...
Slawomir Zadrozny, Janusz Kacprzyk
ISCI
2010
103views more  ISCI 2010»
14 years 8 months ago
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into acco...
Carles Noguera, Francesc Esteva, Lluis Godo
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 1 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
EUSFLAT
2009
137views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
Evolutionary Robot Vision and Fuzzy Evaluation for Natural Communication of Partner Robots
This paper proposes a method of evolutionary robot vision based on a steady-state genetic algorithm and fuzzy evaluation. In order to improve the communication capability of human-...
Akihiro Yorita, Naoyuki Kubota