Note on G.J. Massey's closure-algebraic operation

DOI10.1305/ndjfl/1093894005zbMath0188.01902OpenAlexW2121650587MaRDI QIDQ2537123

Boleslaw Sobocinski

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/1093894005

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