No CrossRef data available.
Article contents
A Remark on Peirce’s Law
Published online by Cambridge University Press: 22 January 2016
Extract
Before stating the purpose, we explain some propositional logics treated in this paper. The logical symbols we use are: implication →, conjunction ∧, disjunction ∨, and the propositional constant ⋏ denoting contradiction.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1968