A Remark on Peirce’s Rule in Many-Valued Logics
Katuzi Ono · Nagoya Mathematical Journal · 1968
Recently, S. Nagata gave an interesting series of rules beginning with Peirce’s rule introduced in [3], each rule in the series being really stronger than its successor in the intuitionistic logics. (See [1] Nagata.) Namely, let p0, p1, … be any series of mutually distinct propositional variables.