Develops a grounding framework for conditionals in intuitionistic logic, indicating significant implications for validities.
This paper develops a systematic account of the immediate grounds of conditionals, uses this to give a ground-theoretic semantics for the language of intuitionistic propositional logic, and proves intuitionistic logic sound and complete with respect to this semantics. A striking consequence of the account is that all intuitionistic validities are zero-grounded and thus—unlike distinctively classical validities—make no demand on reality.
No takes yet. Share an insight, caveat, or question.
Jon Erling Litland (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: