On universal algebraic constructions of logics

DOI10.1007/BF02121113zbMath0362.02057MaRDI QIDQ1239727

T. Gergely, Hajnalka Andréka, Istvan Németi

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (13)

Elementary classes in the injective subcategories approach to abstract model theory ⋮ Weak second order characterizations of various program verification systems ⋮ Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent ⋮ Algebraization of quantifier logics, an introductory overview ⋮ The contributions of Alfred Tarski to algebraic logic ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Modal languages and bounded fragments of predicate logic ⋮ On the number of generators of cylindric algebras ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Notions of density that imply representability in algebraic logic ⋮ Measures on cylindric algebras ⋮ On conceptual completeness of syntactic-semantical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Nonfinitizability of classes of representable cylindric algebras
• A complete first-order logic with infinitary predicates
• A proof of the completeness theorem of Grödel

This page was built for publication: On universal algebraic constructions of logics