Cīrulis, Jānis On the EA-fragment of classical propositional logic. (English) Zbl 0499.03001 Bull. Sect. Logic, Pol. Acad. Sci. 10, 158-161 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B20 Subsystems of classical logic (including intuitionistic logic) Keywords:axiom system; rule of replacement PDFBibTeX XMLCite \textit{J. Cīrulis}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 158--161 (1981; Zbl 0499.03001)