Binary closure-algebraic operations that are functionally complete
From MaRDI portal
Publication:2537122
DOI10.1305/ndjfl/1093894004zbMath0188.01901OpenAlexW1986476689MaRDI QIDQ2537122
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894004
Related Items (2)
Uniform and non uniform strategies for tableaux calculi for modal logics ⋮ Nontabularity of the logic S4 with respect to functional completeness
This page was built for publication: Binary closure-algebraic operations that are functionally complete