Photos © 2011 Norbert Preining
 

Program

Preliminary schedule

Invited talks will be 1 hour, contributed talks 30 minutes, both including discussion.

[ Monday | Tuesday | Wednesday | Thursday | Friday | Saturday ]

Monday 10.9.
09:00-Registration
09:20-09:30Opening
09:30-10:30Invited: Daniele Mundici
When every principal congruence is an intersection of maximal congruences PDF
10:30-11:00Nikolaos Galatos
The finite embeddability property for varieties of distributive, integral residuated lattices
11:00-11:15Break
11:15-11:45Oliver Fasching and Matthias Baaz
An analytic calculus for Gödel logics with an operator that shifts truth values
11:45-12:15Michał Kozak
Strong Negation in Intuitionistic Style Sequent Systems for Residuated Lattices PDF
12:15-14:00Lunch Break
14:00-15:00Tutorial: Felix Bou
(Un)Decidability in Monadic Fuzzy Predicate Logics ScreenPDF PrintPDF
15:00-15:30Nobu-Yuki Suzuki
Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics
15:30-15:45Break
15:45-16:15Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg
Modal Basic Propositional Logic
16:15-16:45Marjon Blondeel, Tommaso Flaminio and Lluís Godo
Relating fuzzy autoepistemic logic and Łukasiewicz KD45 modal logic PDF
16:45-17:15Felix Bou, Francesc Esteva and Lluis Godo
On possibilistic modal logics over Gödel logic PDF
17:15-17:45Petr Cintula, Rostislav Horcík and Carles Noguera
A basic fuzzy logic which is really basic and fuzzy PDF
18:30-20:30Opening Reception
Tuesday 11.9.
09:00-10:00Invited: Greg Restall
Exotic Sequent Calculi for Truth Degrees PDF
10:00-10:30Paolo Baldi, Agata Ciabattoni and Lara Spendier
Standard completeness for extensions of MTL: an automated approach PDF
10:30-11:00Vincenzo Marra and Stefano Aguzzoli
Betting on events observed over an interval of time: de Finetti's Dutch-Book argument for Gödel logic PDF
11:00-11:15Break
11:15-11:45Tomas Kroupa and Ondrej Majer
Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions PDF
11:45-12:15Christian Fermüller and Christoph Roschger
Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification PDF
12:15-14:00Lunch Break
14:00-15:00Tutorial: Felix Bou
(Un)Decidability in Monadic Fuzzy Predicate Logics ScreenPDF PrintPDF
15:00-15:30Conrad Asmus
Towards Many Valued Dependence Logics
15:30-15:45Break
15:45-16:15Yoshihiro Maruyama
Diagonals, Paradoxes, and the Edge of Consistency: classical, quantum, and fuzzy
16:15-16:45Petra Murinová
Structure of generalized intermediate syllogisms PDF
16:45-17:15Shawn Standefer
Revision theory and Field's theory of truth
17:15-17:45Shunsuke Yatabe
A constructive naive set theory and the $\omega$-rule PDF
Wednesday 12.9.
09:00-10:00Invited: Rostislav Horčík
Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable PDF
10:00-10:30Jan Kühr
BCK-algebras and triple construction
10:30-11:00Félix Bou, Marco Cerami and Francesc Esteva
Concept Satisfiability in finite-valued Fuzzy Description Logics is PSPACE-complete PDF
11:00-11:15Break
11:15-11:45Libor Behounek
Feasibility of program runs in fuzzified Propositional Dynamic Logic PDF
11:45-12:15Liu Doing Ning and Zhe Lin
Proof Theoretical Investigations on Substructure Modal Logic PDF
12:15-14:00Lunch Break
14:00-Excursion
19:00-21:00Conference Dinner
Thursday 13.9.
09:30-10:30Invited: Emil Jeřábek
Admissibility and unification with parameters PDF
10:30-11:00Stefano Aguzzoli, Tommaso Flaminio and Enrico Marchioni
Finite Forests. Their Algebras and Logics PDF
11:00-11:15Break
11:15-11:45Jan Paseka and Michal Botur
Tense MV-algebras and related operators
11:45-12:15Antonio Ledda, Tomasz Kowalski and Francesco Paoli
On independent varieties and some related notions PDF
12:15-14:00Lunch Break
14:00-14:30Sándor Jenei
Recent results on involute FLe-monoids PDF
14:30-15:00Matthias Baaz and Agata Ciabattoni
Proof theory for non-classical logics: negative results
15:00-15:30James Raftery
Inconsistency lemmas in algebraic logic
15:30-15:45Break
15:45-16:15Milan Petrík
Algebraic webs on more general structures PDF
16:15-16:45William Young
Free MV-algebras inside Free Abelian l-groups PDF
16:45-17:15Hitoshi Omori and Katsuhiko Sano
Generalizing Functional Completeness in Belnap-Dunn's Four Valued System PDF
17:15-18:00Meeting of the Mathematical Fuzzy Logic Group, Steering Committee for LATD
Friday 14.9.
09:00-10:00Invited: Luca Spada
The multifarious representations of MV-algebras
10:00-10:30Rodica Ceterchi
The Decomposition of Linearly Ordered Pseudo-Hoops PDF
10:30-11:00Umberto Rivieccio
Implicative twist-structures PDF
11:00-11:15Break
11:15-11:45Takahiro Seki
Disjunction Property of Non-Associative Substructural Logics PDF
11:45-12:15Yuri Movsisyan and Diana Davidova
Representation theorem for interlaced q-bilattices PDF
12:15-14:00Lunch Break
14:00-14:30Thomas Vetterlein
Construction methods for finite commutative tomonoids PDF
14:30-15:00Tomasz Kowalski
BCK is not structurally complete PDF
15:00-16:30Geisha performance
Closing

Invited speakers

(click on the title to see the abstract)


  • Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable PDF

  • Admissibility and unification with parameters PDF

  • When every principal congruence is an intersection of maximal congruences PDF

  • Exotic Sequent Calculi for Truth Degrees PDF

  • The multifarious representations of MV-algebras

Tutorial speaker

(click on the title to see the abstract)


  • (Un)Decidability in Monadic Fuzzy Predicate Logics ScreenPDF PrintPDF

Contributed talks

  • Stefano Aguzzoli, Tommaso Flaminio and Enrico Marchioni
    Finite Forests. Their Algebras and Logics PDF
  • Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg
    Modal Basic Propositional Logic
  • Conrad Asmus
    Towards Many Valued Dependence Logics
  • Matthias Baaz and Agata Ciabattoni
    Proof theory for non-classical logics: negative results
  • Paolo Baldi, Agata Ciabattoni and Lara Spendier
    Standard completeness for extensions of MTL: an automated approach PDF
  • Libor Behounek
    Feasibility of program runs in fuzzified Propositional Dynamic Logic PDF
  • Marjon Blondeel, Tommaso Flaminio and Lluís Godo
    Relating fuzzy autoepistemic logic and Łukasiewicz KD45 modal logic PDF
  • Felix Bou, Francesc Esteva and Lluis Godo
    On possibilistic modal logics over Gödel logic
  • Félix Bou, Marco Cerami and Francesc Esteva
    Concept Satisfiability in finite-valued Fuzzy Description Logics is PSPACE-complete
  • Rodica Ceterchi
    The Decomposition of Linearly Ordered Pseudo-Hoops PDF
  • Petr Cintula, Rostislav Horcík and Carles Noguera
    A basic fuzzy logic which is really basic and fuzzy PDF
  • Oliver Fasching and Matthias Baaz
    An analytic calculus for Gödel logics with an operator that shifts truth values
  • Christian Fermüller and Christoph Roschger
    Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification PDF
  • Nikolaos Galatos
    The finite embeddability property for varieties of distributive, integral residuated lattices
  • Sándor Jenei
    Recent results on involute FLe-monoids PDF
  • Michiro Kondo
    States on bounded commutative residuated lattices
  • Tomasz Kowalski
    BCK is not structurally complete PDF
  • Michał Kozak
    Strong Negation in Intuitionistic Style Sequent Systems for Residuated Lattices PDF
  • Tomas Kroupa and Ondrej Majer
    Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions PDF
  • Jan Kühr
    BCK-algebras and triple construction
  • Antonio Ledda, Tomasz Kowalski and Francesco Paoli
    On independent varieties and some related notions PDF
  • Leonardo Manuel Cabrer and Vincenzo Marra
    Advances on Unification in MV-algebras
  • Vincenzo Marra and Stefano Aguzzoli
    Betting on events observed over an interval of time: de Finetti's Dutch-Book argument for Goedel logic PDF
  • Yoshihiro Maruyama
    Diagonals, Paradoxes, and the Edge of Consistency: classical, quantum, and fuzzy
  • Yuri Movsisyan and Diana Davidova
    Representation theorem for interlaced q-bilattices PDF
  • Petra Murinová
    Structure of generalized intermediate syllogisms PDF
  • Liu Doing Ning and Zhe Lin
    Proof Theoretical Investigations on Substructure Modal Logic PDF
  • Hitoshi Omori and Katsuhiko Sano
    Generalizing Functional Completeness in Belnap-Dunn's Four Valued System PDF
  • Jan Paseka and Michal Botur
    Tense MV-algebras and related operators
  • Milan Petrík
    Algebraic webs on more general structures PDF
  • James Raftery
    Inconsistency lemmas in algebraic logic
  • Umberto Rivieccio
    Implicative twist-structures PDF
  • Takahiro Seki
    Disjunction Property of Non-Associative Substructural Logics PDF
  • Shawn Standefer
    Revision theory and Field's theory of truth
  • Nobu-Yuki Suzuki
    Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics
  • Thomas Vetterlein
    Construction methods for finite commutative tomonoids PDF
  • Shunsuke Yatabe
    A constructive naive set theory and the $\omega$-rule PDF
  • William Young
    Free MV-algebras inside Free Abelian l-groups PDF