Proof of the independence of the primitive symbols of Heyting's calculus of propositions

DOI10.2307/2268715zbMath0022.19304OpenAlexW1972649844MaRDI QIDQ5775746

J. C. C. McKinsey

Publication date: 1939

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268715

zbMATH Keywords

Foundations, philosophy, logic

Related Items (9)

Dialogspiele als Semantische Grundlage von Logikkalkülen ⋮ For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ The proof by cases property and its variants in structural consequence relations ⋮ An intuitionistic reformulation of Mally's deontic logic ⋮ Natural deduction for bi-intuitionistic logic ⋮ Definability of Boolean functions in Kripke semantics ⋮ A semantic hierarchy for intuitionistic logic ⋮ Intuitionistic logic with strong negation ⋮ Nontabularity of the logic S4 with respect to functional completeness

This page was built for publication: Proof of the independence of the primitive symbols of Heyting's calculus of propositions