A note on the system of propositional calculus with primitive rule of extensionality期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A note on the system of propositional calculus with primitive rule of extensionality

Authors:	K. Hałkowska

Abstract:	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{{Ealpha beta ,Phi (alpha )}}{{Phi (beta )}}$

Keywords:
本文献已被 SpringerLink 等数据库收录！