Showing math.LOShow all
2 papers · 1 filter
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
The axiom of choice, co-comprehension schema and redundancies in triposes
Fabio Pasquali
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic