Another intuitionistic completeness proof
From MaRDI portal
Publication:4109646
DOI10.2307/2272042zbMath0342.02013OpenAlexW4232837062MaRDI QIDQ4109646
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272042
Related Items (8)
A theory of local negation: The model and some applications ⋮ Creative subject, Beth models and neighbourhood functions ⋮ Intuitive counterexamples for constructive fallacies ⋮ Second-order logic and the power set ⋮ A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms ⋮ Negationless intuitionism ⋮ Gödel and Intuitionism ⋮ Semantical completeness of first-order predicate logic and the weak fan theorem
This page was built for publication: Another intuitionistic completeness proof
