This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and complementation of sets, but also about the relative size of ...

We define a novel interpretation R of second order arithmetic into Explicit Mathematics. As a difference from standard D-interpretation, which was used before and was shown to interpret only ...

OF all the branches of philosophy, logic alone has had the distinction of being claimed by the exact sciences as one of them. The event is of recent occurrence; in fact, it has happened only since ...