Banner Logo of Linz2022 Site

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.

Wed Thu Fri Download program

Wednesday, 8 June 2022
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
Thursday, 9 June, 2022
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
Friday, 10 June 2022
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