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, Exploring the Jungle of Intuitionistic Temporal Logics, Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics, 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