An intuitionistic Sheffer function
From MaRDI portal
Publication:1073779
DOI10.1305/ndjfl/1093870939zbMath0589.03002OpenAlexW1965819757MaRDI QIDQ1073779
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870939
Related Items
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
This page was built for publication: An intuitionistic Sheffer function