Algebraic Analysis of the Topological Logic L(I)

DOI10.1002/malq.19820282706zbMath0496.03043OpenAlexW2022266827MaRDI QIDQ3960850

George Georgescu

Publication date: 1982

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820282706

zbMATH Keywords

representation theorempolyadic algebraslogic with interior operatorpolyadic version of omitting types theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Chang's modal operators in algebraic logic ⋮ Short story of the term “algebraic analysis”