Workshop on Non-classical logics

Aims & Scope

Non-classical logics are logics different from classical, boolean logic. They provide languages for reasoning e.g., about knowledge, time, data structures, vague information, resources, and as such they are increasingly applied in various disciplines. This workshop will bring together distinguished experts from syntactic and algorithmic aspects of these logics and of their semantic structures, with the  purpose of promoting a greater degree of communication between the fields of Proof Theory and Algebra. A special emphasis will be given to the family of many-valued logics.

The workshop will feature several invited and contributed talks with surveys and new technical results. The workshop will also provide opportunities for all participants to engage in joint research and discussions on open problems and future directions.


  • Matthias Baaz (co-Chair)
  • Paolo Baldi
  • Agata Ciabattoni (Chair)
  • Petr Cintula
  • Christian Fermüller
  • Lara Katharina Spendier
  • Anna Zamansky


The organizers acknowledge the funding from the following organizations:

  • Vienna Center for Logic and Algorithms (VCLA)
  • KGS Society

The workshop will take place in the Zemanek room, Favoritenstrasse 9-11 (Stiege III, EG) , 1040 Vienna.


(not in the Vienna group)


Friday, November 25

09.00 – 09.30 Nicola Olivetti: Proof systems for Conditional logics Abstract
09.30 – 10.00 Paolo Maffezioli: Labelled sequent systems for Dynamic Epistemic Logics Abstract
10.00 – 10.30 Coffee break
10.30 – 11.00 Richard McKinley: Sequent Calculus in Natural Deduction Style Abstract
11.00 – 11.30 Christoph Röthlisberger: Unification in Finite-Valued Logics Abstract
11.30 – 11.50 Break
11.50 – 12.20 Roman Kuznets: Modal Interpolation via Nested Sequents Abstract
12.20 – 12.50 Jose Gil Ferez: Category Theory as a Tool for (Abstract) Algebraic Logic Abstract
12.50 – 14.30 Lunch Break
14.30 – 15.00 Leonardo Cabrer: Admissibility through Duality Abstract
15.00 – 15.30 Anna Zamansky: Non-deterministic semantics and their applications in proof theory Abstract
15.30 – 16.00 Coffee Break
16.00 – 16.30 Jiri Velebil: Distributive substructural logics are coalgebraic Abstract
16:30 – 17.00 Rostislav Horcik: Finite consequence relation in FLc is undecidable Abstract
17.00 – 17.20 Break
17.20 – 17.40 Karel Chvalovsky: Notes on Condensed Detachment Abstract
17.40 – 18.00 Zuzana Hanikova: Complexity in Basic Logic Abstract
19.30 Social Dinner

Saturday, November 26

09.00 – 09.20  Martin Vita: A Uniform Approach to Special Types of (Fuzzy) Filters Abstract
09.20 – 09.40 Sebastian Krinninger: Validity in logics that combine supervaluation and fuzzy logic Abstract
09.40 – 10.00 Oliver Fasching: Modal Gödel operators as Gödel homomorphisms Abstract
10.00 – 10.30 Coffee Break
10.30 – 10.50 Matthias Baaz: Sequents of relation calculus: standard and witnessed first order Gödel logics Abstract
10.50 – 11.20 Felix Bou: Thinking on the Monadic Predicate Lukasiewicz Logic Abstract
11.20 – 11.50 Tomas Kroupa: Probabilities in Finitely-valued  Lukasiewicz Logic and the Binomial Sampling Models Abstract
11.50 – 12:00 Break
12.00 – 12.20 Tommaso Flaminio: Geometrical aspects of possibility measures on finite domain MV-clans Abstract
12.20 – 12.40 Thomas Vetterlein: Logics between approximate reasoning and fuzzy logic Abstract
12.40 – 13:00 Lluis Godo: On the expansion of t-norm fuzzy logics with hedges Abstract

Comments are closed.