| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
|
|||
|
Epsilon theorems and non-classical logics Matthias Baaz Vienna University of Technology |
|||
|
Abstract: We show, that the presence of critical formulas allows for the derivation of arbitrary quantifier shifts in almost all nonclassical logics. This result is used to derive that the only superintuitionistic logics admitting the first epsilon theorem are the finitely-valued Gdel logics. They also admit the second epsilon theorem. (Joint work with Richard Zach.) Language: English |
|||