Complete Connectives for the 3-Valued Propositional Calculus

DOI10.1112/PLMS/S3-16.1.167MaRDI QIDQ5518353zbMATH OpenOpenAlexFDO

Authors Roger F. Wheeler

Publication date 1966

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s3-16.1.167

zbMATH Keywords

mathematical logic

Cited in

(8)

• On Sheffer symmetric functions in three-valued logic
• On the main diagonal of Sheffer functions
• On generating large classes of Sheffer functions
• A grammar of functions
• A grammar of functions. II
• On the t-closure condition of Martin
• Completeness in Finite Algebras with a Single Operation
• Finite nets of dimension d

This page was built for publication: Complete Connectives for the 3-Valued Propositional Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5518353)