A simple decision procedure for one-variable implication/negation formulae in intuitionist logic

DOI10.1305/ndjfl/1093957158zbMath0118.24803OpenAlexW2092301126MaRDI QIDQ2626199

Storrs McCall

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

zbMATH Keywords

mathematical logic

Related Items (2)

Equivalence in logic-based argumentation ⋮ A Strange Remark Attributed to Gödel

This page was built for publication: A simple decision procedure for one-variable implication/negation formulae in intuitionist logic