An Axiomatics for First - order Logic
Xin Liu · 2005
This paper presents an axiomatics for first - order logic with a class of generalized Sheifer - stroke functions as its primitive connectives and (?) primitive quantifier. In this axiomatics the square - bracket unites the primitives mentioned above. Finally, we prove the completeness theorem by the counter - model method.