Complete Connectives for the 3-Valued Propositional Calculus

DOI10.1112/plms/s3-16.1.167zbMath0143.01003OpenAlexW2019755431MaRDI QIDQ5518353

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

Related Items (8)

On Sheffer symmetric functions in three-valued logic ⋮ Finite nets of dimension d ⋮ Completeness in Finite Algebras with a Single Operation ⋮ 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

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