Proofs of non-deducibility in intuitionistic functional calculus

DOI10.2307/2267135zbMATH Open0031.19304OpenAlexW4235553305MaRDI QIDQ5787742FDOQ5787742

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

Cites Work

• On closed elements in closure algebras

Cited In (15)

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

This page was built for publication: Proofs of non-deducibility in intuitionistic functional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5787742)