Article contents
A Remark on Peirce’s Rule in Many-Valued Logics
Published online by Cambridge University Press: 22 January 2016
Extract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1968
References
- 1
- Cited by