Резюме
В настоящей работе представлена системаЅ исчисления предложений, в которой первичными терминами являются: конъюнкция, зквивалентность и фальш
В системеЅ единственным первичным правилом является правило зкстенсио-нальности, определённое схемой:\(\frac{{E\alpha \beta ,\Phi (\alpha )}}{{\Phi (\beta )}}\)
Rights and permissions
About this article
Cite this article
Халковска, К. Заметка о системе исчисления предложений с основным правилом экстенсиональности. Stud Logica 20, 149 (1967). https://doi.org/10.1007/BF02340041
Issue Date:
DOI: https://doi.org/10.1007/BF02340041