210 search results - page 1 / 42 » Definability and automorphisms in abstract logics |
60
Voted
AML
2004
14 years 10 months ago
2004
CIE
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We prove that for any k 3 each element of the homomorphic quasiorder of finite k-labeled forests is definable, provided that the minimal non-smallest elements are allowe...
ENTCS
2006
14 years 10 months ago
2006
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
ENTCS
2007
14 years 10 months ago
2007
87
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...