Proofs of non-deducibility in intuitionistic functional calculus
From MaRDI portal
Publication:5787742
DOI10.2307/2267135zbMath0031.19304MaRDI QIDQ5787742
Publication date: 1948
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267135
Related Items
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES, On logics intermediate between intuitionistic and classical predicate logic, Propositional Calculus and Realizability, Topological forcing semantics with settling, Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa, The real-algebraic structure of Scott's model of intuitionistic analysis, Application of the algebra of polyrelatives to game theory, The abstract variable-binding calculus, St. Leśniewski's protothetics, A geometric interpretation of logical formulae, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, Leon Henkin the Reviewer, On formulas of one variable in intuitionistic propositional calculus
Cites Work