An intuitionistically plausible interpretation of intuitionistic logic

DOI10.2307/2271877zbMath0383.03040OpenAlexW2151841707MaRDI QIDQ4163532

H. C. M. De Swart

Publication date: 1978

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

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Categoricity and completeness of theories (03C35)

Related Items (6)

Intuitionistic completeness of first-order logic ⋮ Validity and quantification in intuitionism ⋮ Modal companions of intermediate propositional logics ⋮ An application of constructive completeness ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Gödel and Intuitionism

Cites Work

• Unnamed Item

This page was built for publication: An intuitionistically plausible interpretation of intuitionistic logic