Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
Fabio Pasquali, Christian Retoré
Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not m…
math.LO2016
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
Richard Moot, Christian Retoré
This report first shows the equivalence bewteen several formulations of classical logic in intuitionistic logic (tertium non datur, reductio ad absurdum, Pierce's law). Then it est…