Finitary Algebraic Logic

DOI10.1002/MALQ.19890350405zbMath0661.03052OpenAlexW1983214992MaRDI QIDQ3809799

Roger D. Maddux

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

correspondence between first order structures and relation algebras with quasi-projectionsfinitely axiomatizable extensionfinitely axiomatizable finitary algebraic logic

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (12)

Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Non-finite-axiomatizability results in algebraic logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Unnamed Item ⋮ Finite methods in 1-order formalisms ⋮ Weakly associative relation algebras with projections ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Equational Reasoning in Non-Classical Logics ⋮ Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: Finitary Algebraic Logic