Proofs of non-deducibility in intuitionistic functional calculus
Author:
- 1 December 1948
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 13 (4) , 204-207
Abstract
It has been proved by S. C. Kleene and David Nelson that the formula is intuitionistically non-deducible, i.e., non-deducible within the intuitionistic functional calculus.The aim of this note is to outline a general method which permits us to establish the intuitionistic non-deducibility of many formulas and in particular of the formula (1).Keywords
This publication has 3 references indexed in Scilit:
- Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)The Mathematical Gazette, 1950
- On Closed Elements in Closure AlgebrasAnnals of Mathematics, 1946
- Lattice Theory1940