|
ВИДЕОТЕКА |
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
Do we really need Ex Falso? A first reconnaissance D. de Jongh |
|||
Аннотация: Intuitionistic mathematics has been critized for the use of the Ex Falso principle, directly, or indirectly by disapproval of any use of negation at all. Do we really need it? Not in Heyting Arithmetic, if we agree with interpreting Язык доклада: английский |