Non-null implication
From MaRDI portal
Publication:5526958
DOI10.2307/2269691zbMath0148.24404OpenAlexW2021318707MaRDI QIDQ5526958
No author found.
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269691
Related Items (5)
A complete negationless system ⋮ Notes on constructive negation ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Constructions and negationless logic ⋮ A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic
Cites Work
This page was built for publication: Non-null implication
