The intended interpretation of intuitionistic logic
From MaRDI portal
Publication:793720
DOI10.1007/BF00247190zbMath0539.03037OpenAlexW2080642305MaRDI QIDQ793720
Publication date: 1983
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247190
realizabilityconstructionconstructivitytheory of meaningfoundations of intuitionismintuitionistic logical operations
Related Items (5)
Elementary realizability ⋮ From the knowability paradox to the existence of proofs ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants
This page was built for publication: The intended interpretation of intuitionistic logic
