Program

09:00 am

09:15 am

D. Mundici: Probability in many-valued logics

10:30 am

11:00 am

C.G. Fermüller:
Dialogue games and the proof theory of fuzzy logics — a review and outlook

P. Hájek: An observation on (un)decidable theories in fuzzy logic

V. Novák: Fuzzy logic in broader sense: its current state and future

02:00 pm

D. Dubois, H. Prade:
Fuzziness, uncertainty and bipolarity: a critical review

03:00 pm

A. Avron, B. Konikowska: Non-deterministic fuzzy semantics

03:30 pm

D. Sánchez, M. Delgado, M.A. Vila: A discussion about representation models for imprecise quantities and probabilities

04:30 pm

C. Sossai: On the link between chance and truth

05:00 pm

Round table: Many-valued logic and mathematical fuzzy logics

09:00 am

D. Westerståhl: Generalized quantifiers in logic and language

10:00 am

E. Pap, R. Mesiar, M. Grabisch, J.-L. Marichal: Infinitary aggregation

10:30 am

11:00 am

R. Mesiar, E. Pap, M. Grabisch, J.-L. Marichal:
Contribution on some construction methods for aggregation functions

11:30 am

J.-L. Marichal, M. Grabisch, R. Mesiar, E. Pap:
Behavioral analysis of aggregation functions

12:00 pm

M. Grabisch, J.-L. Marichal, R. Mesiar, E. Pap:
Aggregation on bipolar scales

02:00 pm

E. Hüllermeier: Fuzzy logic in machine learning

03:00 pm

G. Rossi: Additive and non-additive discrete aggregation of preferences

03:30 pm

A. Kolesárová, R. Mesiar:
Lipschitzian De Morgan triplets with strong negations

04:00 pm

04:30 pm

M. Couceiro, J.-L. Marichal:
Characterizations of discrete Sugeno integrals as lattice polynomial functions

05:00 pm

Round table: Non-classical measures and integrals

09:00 am

P. Cintula: Fuzzy Class Theory: a state of the art

10:00 am

T. Vetterlein: The partial-algebra method for the representation
of algebras related to fuzzy logics

10:30 am

11:00 am

I. Perfilieva: Towards a theory of a fuzzy rule base interpolation

11:30 am

J. Harding, C. Walker, E. Walker:
The variety generated by the truth value algebra of type-2 fuzzy sets

12:00 pm

P. Eklund, J. Kortelainen, L.N. Stout: Introducing fuzzines in monads: cases of the powerobject monad and the term monad

12:30 pm

02:00 pm

07:00 pm

09:00 am

J. Fodor: Fuzzy relations and preference modelling

10:00 am

S. Jenei: An overview on the algebraic aspects of the residuated monoids
on [0,1] with outlooks

10:30 am

11:00 am

F. Esteva, L. Godo, C. Noguera:
On generalized continuous and left-continuous t-norms over chains: a survey

11:30 am

S. Yilmaz, B. De Baets:
Constructing t-norms from a given behaviour on join-irreducible elements

12:00 pm

Yun Shi, B. Van Gasse, Da Ruan, E.E. Kerre:
Axioms for fuzzy implications: dependence and independence

12:30 pm

02:00 pm

M. Navara, M. Petrík, P. Sarkoci:
Convex combinations of triangular norms

02:30 pm

M. Navara: Tribes revisited

03:00 pm

S. Weber: Measure-free conditioning and extensions of additive measures on finite MV-algebras

04:00 pm

04:30 pm

J.T. Denniston, A. Melton, S.E. Rodabaugh:
Lattice-valued topological systems

05:00 pm

T. Kubiak, A. Šostak:
Foundations of the theory of (L,M)-fuzzy topological spaces

05:30 pm

C. Guido: Attachment between fuzzy points and fuzzy sets

09:00 am

S. Solovjovs: Embedding topology into algebra

09:30 am

M. Demirci: Subset systems in lattice-valued mathematics

10:00 am

M. Stehlík: Aggregation in topological spaces

10:30 am

11:00 am

Round table: State of the art — open problems in many-valued mathematics related to logic, topology and algebra

12:30 pm

12:45 pm

Lunch