Program
The seminar presentations will start on Wednesday, June 8, in the morning and will end on Friday, June 10 in the afternoon.
Further details will be announced at this place once they will be available.
| 09:00 am |
Opening |
| 09:30 am |
Luciano Serafini: Logic Tensor Networks |
| 10:30 am |
Coffee Break |
| 11:00 am |
Petr Cintula and Carles Noguera:
The general algebraic framework for Mathematical Fuzzy Logic |
| 11:30 am |
Paolo Baldi:
Classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory |
| 12:00 am |
Antonín Dvořák and Michal Holčapek:
New results on fuzzy quantifiers over fuzzy domains |
| 12:30 pm |
Lunch |
| 02:00 pm |
Sara Ugolini:
Duality, unification, and admissibility in the positive fragment of Lukasiewicz Logic |
| 02:30 pm |
Tommaso Flaminio, Lluis Godo, María Paula Menchón and Ricardo Oscar Rodriguez:
On the role of Dunn and Fisher Servi axioms in relational frames for Godel modal logics |
| 03:00 pm |
Martina Dankova:
Weighted fuzzy rules for a relational data model |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
Zuzana Hanikova:
A case for constants |
|
| 09:00 am |
Gabriella Pigozzi:
Judgment aggregation. An overview on a logical aggregation problem, from impossibility results to feasible rules |
| 10:00 am |
Ulrich Hoehle:
On the algebraic structure of the Q-valued power set |
| 10:30 am |
Coffee Break |
| 11:00 am |
Patrik Eklund and Ulrich Hoehle:
Finite quantales and applications |
| 11:30 am |
Christian Fermüller:
Fuzzy judgment aggregation – background, observations, ideas |
| 12:30 pm |
Lunch |
| 03:00 pm |
Excursion and Social Dinner |
|
| 09:00 am |
Guillermo Badia, Ronald Fagin and Carles Noguera:
New foundations of reasoning via real-valued first-order logics |
| 10:00 am |
Arman Shamsgovara:
A catalogue of every quantale of order up to 9 |
| 10:30 am |
Coffee Break |
| 11:00 am |
Jeffrey T. Denniston, Jan Paseka and Sergejs Solovjovs:
Are finite affine topological spaces worthy of study? |
| 11:30 am |
Jan Paseka and Sergejs Solovjovs:
Injective hulls in a category of V-semigroups |
| 12:00 am |
Andre Kornell, Bert Lindenhovius and Michael Mislove:
Quantizing partially ordered structures |
| 12:30 pm |
Lunch |
| 01:30 pm |
Libor Behounek:
Some non-mainstream uses of fuzzy logic |
| 02:30 pm |
Closing |
| 