The Existential Quantifier in Equideductive Logic

Paul Taylor

This paper defines a weak “existential quantifier” in equideductive logic. This quantifier agrees with the epis in an equideductive category, which form a factorisation system together with the partial product inclusions. Such a category also has stable disjoint coproducts.

This paper begins with a rapid survey of the many different meaning that have been given to the existential quantifier in various forms of symbolic and categorical logic. I would appreciate comments on this historical material as well as on the main subject matter of the paper.

Download the paper to print it

PDF,  DVI,  compressed PostScript  or  A5 booklet.

This document was translated from LATEX by HEVEA.