Workshop Schedule
| 9:15 |
|
Opening |
| 9:30 |
- |
10:00 |
Rostislav Horcik |
| |
Wajsberg's rule is weaker than Wajsberg's axiom |
| 10:00 |
- |
10:30 |
Petr Cintula (joint work with Carles Noguera)
|
| |
Extending Leibniz's hierarchy |
| 10:30 |
- |
11:00 |
Discussion
and coffee break
|
| 11:00 |
- |
11:30 |
Libor Behounek
|
| |
Resource-based interpretations of deductive fuzzy logics |
| 11:30 |
- |
12:00 |
Petr Hajek
|
| |
New results on arithmetical complexity of Gödel logics |
| |
| 12:00 |
- |
14:30 |
Lunch / Break
|
| |
| 14:30 |
- |
15:00 |
Lluis Godo
|
| |
New results on rational completeness for some
propositional and predicate fuzzy logics with truth-constants
|
| 15:00 |
- |
15:30 |
Felix Bou
|
| |
An abstract algebraic logic
approach to bilattices |
| 15:30 |
- |
16:00 |
Sandor Jenei
|
| |
One more remark on the geometric description of residuated semigroups |
| 16:00 |
- |
16:30 |
Discussion
and coffee break
|
| 16:30 |
- |
17:00 |
Thomas Vetterlein
|
| |
Fuzzy logic: indispensable to medical expert systems? |
| 17:00 |
- |
17:30 |
Matthias Baaz
|
| |
Gödel logics: the monadic class |
| 17:30 |
- |
18:00 |
Agata Ciabattoni
|
| |
Uniform Standard Completeness Proofs for Fuzzy Logics |
| |
| 19:30 |
- |
|
Workshop Dinner at Restaurant Artner
|
| |