Binary closure-algebraic operations that are functionally complete

DOI10.1305/ndjfl/1093894004zbMath0188.01901OpenAlexW1986476689MaRDI QIDQ2537122

Gerald J. Massey

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

zbMATH Keywords

algebraic logic, model theory

Related Items

Uniform and non uniform strategies for tableaux calculi for modal logics, Nontabularity of the logic S4 with respect to functional completeness