Proofs of non-deducibility in intuitionistic functional calculus

DOI10.2307/2267135zbMath0031.19304OpenAlexW4235553305MaRDI QIDQ5787742

Andrzej Mostowski

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

zbMATH Keywords

Philosophy and foundations

Related Items

Propositional Calculus and Realizability ⋮ Leon Henkin the Reviewer ⋮ The abstract variable-binding calculus ⋮ St. Leśniewski's protothetics ⋮ A geometric interpretation of logical formulae ⋮ Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Topological forcing semantics with settling ⋮ Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics ⋮ Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae ⋮ On formulas of one variable in intuitionistic propositional calculus ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Application of the algebra of polyrelatives to game theory ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ On logics intermediate between intuitionistic and classical predicate logic

Cites Work

• On closed elements in closure algebras