A simple treatment of truth functions
- 1 December 1959
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 24 (4), 301-302
- https://doi.org/10.2307/2963898
Abstract
In this note we present an axiomatization of the classical two-valued propositional calculus, for which proofs of decidability, consistency, completeness, and independence, are almost trivial (given an understanding of truth tables).Keywords
This publication has 1 reference indexed in Scilit:
- Combinatory Logic. By H. B. Curry and R. Feys. Pp. 417. 42s. 1958. (North Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1960