Quantification for Peirce's preferred sy
โ
Atwell R. Turquette
๐
Article
๐
1981
๐
Springer Netherlands
๐
English
โ 610 KB
Without introducing quantifiers, minimal axiomatic systems have already been constructed for l%irce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis