Proofs of non-deducibility in intuitionistic functional calculus

DOI10.2307/2267135MaRDI QIDQ5787742zbMATH OpenOpenAlexFDO

Authors 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

(14)

• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• On formulas of one variable in intuitionistic propositional calculus
• 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
• Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
• 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
• Leon Henkin the reviewer
• Quantified intuitionistic logic over metrizable spaces
• The abstract variable-binding calculus
• Application of the algebra of polyrelatives to game theory
• On logics intermediate between intuitionistic and classical predicate logic

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)