A simple decision procedure for one-variable implication/negation formulae in intuitionist logic
From MaRDI portal
Publication:2626199
DOI10.1305/ndjfl/1093957158zbMath0118.24803OpenAlexW2092301126MaRDI QIDQ2626199
Publication date: 1962
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957158
Related Items (2)
This page was built for publication: A simple decision procedure for one-variable implication/negation formulae in intuitionist logic