There are denumerably many ternary intuitionistic Sheffer functions
From MaRDI portal
Publication:1118587
DOI10.1305/ndjfl/1093638023zbMath0669.03036OpenAlexW1966547717MaRDI QIDQ1118587
Publication date: 1988
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093638023
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: There are denumerably many ternary intuitionistic Sheffer functions