Does IPC have a binary indigenous Sheffer function?

DOI10.1305/ndjfl/1093883402zbMath0423.03021OpenAlexW1969124066MaRDI QIDQ1134146

Herbert E. Hendry

Publication date: 1981

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883402

zbMATH Keywords

intuitionistic propositional calculusSheffer function

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (1)

A natural extension of natural deduction

This page was built for publication: Does IPC have a binary indigenous Sheffer function?