Summary
The present paper deals with a systemS of propositional calculus, conjunction, equivalence and falsum being its primitive terms.
The only primitive rule inS is the rule of extensionality defined by the scheme:\(\frac{{E\alpha \beta ,\Phi (\alpha )}}{{\Phi (\beta )}}\)
This is a preview of subscription content, log in via an institution to check access.
Rights and permissions
About this article
Cite this article
Hałkowska, K. A note on the system of propositional calculus with primitive rule of extensionality. Stud Logica 20, 150 (1967). https://doi.org/10.1007/BF02340042
Issue Date:
DOI: https://doi.org/10.1007/BF02340042