An intuitionistic Sheffer function

DOI10.1305/ndjfl/1093870939zbMath0589.03002OpenAlexW1965819757MaRDI QIDQ1073779

Kosta Došen

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

zbMATH Keywords

intuitionistic propositional calculusHeyting propositional calculusternary Sheffer function

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

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