Home
Program
| 09:00 am |
F.ESTEVA: From t-norms to t-norm based logics |
| 10:00 am |
L. N. STOUT: A categorical semantics for fuzzy predicate logics |
| 10:30 am |
Coffee Break |
| 11:00 am |
S. JENEI: Geometry of associativity - theory and application |
| 12:00 am |
A. DI NOLA, A. LETTIERI, P. BELLUCE: On symmetric MV-polynomials |
| 12:30 pm | Lunch |
| 02:30 pm |
U. HÖHLE: Sheaves on quantales |
| 03:30 pm | A. FRASCELLA, C. GUIDO: Topological categories of L-sets and (L,M)-topological spaces based on structured lattices |
| 04:00 pm |
Coffee Break |
| 04:30 pm |
S. E. RODABAUGH: Necessary and sufficient conditions for powersets in Set and Set × C to form algebraic theories |
| 05:30 pm |
U. HÖHLE, T. KUBIAK: Approximating orders in meet-continuous lattices and subbasic characterizations of regularity type axioms |
| 07:00 pm |
Meeting Program Committee (Trattoria Einstein) |
| 09:00 am |
D. BUTNARIU, M. NAVARA, T. VETTERLEIN: Linear space of fuzzy vectors |
| 10:00 am |
D. DUBOIS, H. PRADE: Fuzzy intervals versus fuzzy numbers: is there a missing concept in fuzzy set theory? |
| 10:30 am |
Coffee Break |
| 11:00 am |
E.P.KLEMENT, R. MESIAR, E.PAP: Sections of triangular norms |
| 11:30 am |
A. DI NOLA, I. ESPOSITO, B. GERLA: Local MV-algebras and their representations |
| 12:00 am |
R. BELOHLÁVEK, V. VYCHODIL: If-then rules from data tables with fuzzy attributes |
| 12:30 pm | Lunch |
| 02:30 pm |
S. GOTTWALD: An abstract approach toward evaluation of fuzzy rule systems |
| 03:15 pm |
P. CINTULA, E.P. KLEMENT, R. MESIAR, M. NAVARA: On the special role of the Hamacher product in fuzzy logics |
| 04:00 pm |
Coffee Break |
| 04:30 pm |
ROUND TABLE: Algebra and Logic (U. HÖHLE) |
| 06:00 pm |
Meeting Editorial Board Fuzzy Sets and Systems |
| 09:00 am |
A. CIABATTONI, G. METCALFE, F. MONTAGNA: Adding modalities to fuzzy logics (Part I) |
| 09:30 am |
A. CIABATTONI, G. METCALFE, F. MONTAGNA: Adding modalities to fuzzy logics (Part II) |
| 10:30 am |
Coffee Break |
| 11:00 am |
P. MURINOVÁ, V. NOVÁK: Omitting types in fuzzy predicate logics |
| 11:30 am |
S. LEHMKE: Inconsistency and refutation in type-2 fuzzy logics |
| 12:00 am |
M. SHIMODA: A natural fuzzy equivalence relation |
| 12:30 pm |
Lunch |
| 02:00 pm | Excursion: Monastery Schlierbach (http://www.stift-schlierbach.at) |
| 07:00 pm |
Dinner (Mostbauer) |
| 09:00 am |
H. ONO: Fuzzy logics and substructural logics |
| 10:30 am |
Coffee Break |
| 11:00 am |
P. HÁJEK, P. CINTULA: On theories and models in fuzzy predicate logics |
| 12:00 am |
T. VETTERLEIN: BL- and MTL-algebras as partial structures |
| 12:30 pm |
Lunch |
| 02:30 pm |
L. BEHOUNEK, P. CINTULA: Relations in higher-order fuzzy logic I |
| 03:00 pm |
L. BEHOUNEK, P. CINTULA: Relations in higher-order fuzzy logic II |
| 03:30 pm |
U. BODENHOFER, L. BEHOUNEK, P. CINTULA: Relations in higher-order fuzzy logic III |
| 04:00 pm |
Coffee Break |
| 04:30 pm |
ROUND TABLE: Mathematical Fuzzy Logic (P. HÁJEK) |
| 09:00 am |
M. BAAZ: Herbrand's Theorem and the Skolemization of prenex fragments |
| 10:30 am |
Coffee Break |
| 11:00 am |
I. PERFILIEVA: Semi-linear spaces and their bases |
| 11:45 am |
V. NOVÁK: A comprehensive theory of evaluating linguistic expressions in fuzzy logic |
| 12:30 pm |
Lunch |