Finitary Algebraic Logic

DOI10.1002/MALQ.19890350405MaRDI QIDQ3809799zbMATH OpenOpenAlexFDO

Authors Roger 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)

Recommendations

• Non-finite-axiomatizability results in algebraic logic
• scientific article; zbMATH DE number 868093
• scientific article; zbMATH DE number 35403
• Finite schematizable algebraic logic
• scientific article; zbMATH DE number 638619

Cited in

(21)

• scientific article; zbMATH DE number 2174391 (Why is no real title available?)
• A non-finitizability result in algebraic logic
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• Finite sum-product logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Algebraic Logic, Where Does it Stand Today?
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• scientific article; zbMATH DE number 67040 (Why is no real title available?)
• scientific article; zbMATH DE number 1747697 (Why is no real title available?)
• A technical prototype of the finite signature reduction procedure for the algebraic mode of definability
• Algebraization of quantifier logics, an introductory overview
• Weakly associative relation algebras with projections
• Equational Reasoning in Non-Classical Logics
• Note on a translation from first-order logic into the calculus of relations preserving validity and finite validity
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Non-finite-axiomatizability results in algebraic logic
• scientific article; zbMATH DE number 35403 (Why is no real title available?)
• scientific article; zbMATH DE number 150219 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements
• Finite methods in 1-order formalisms
• Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: Finitary Algebraic Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809799)