First-order theories as many-sorted algebras

DOI10.1305/NDJFL/1093870521MaRDI QIDQ795823zbMATH OpenOpenAlexFDO

Authors Vincenzo Manca, Antonino Salibra

Publication date 1984

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870521

zbMATH Keywords

algebraic semanticsequational axiomsfirst order equational calculusfirst-order completenessfirst-order theoryHenkin's modelsmany-sorted algebravarieties

Mathematics Subject Classification ID

Classical first-order logic (03B10) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Other algebras related to logic (03G25)

Review text

This work shows that it is possible to reconstruct fundamental logical notions in the universal algebraic framework. Namely, a first-order theory is expressed as a many-sorted algebra verifying equational axioms and thus Henkin's models, first-order completeness and first order equational calculus are obtained, in purely algebraic style, by using Birkhoff's theorems on varieties.

Recommendations

• The universal theory of first order algebras and various reducts
• Reconciling first-order logic to algebra
• On the Algebraization of Many-Sorted Logics
• Equational treatment of first-order logic
• scientific article; zbMATH DE number 67044

Cited in

(15)

• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• Equational treatment of first-order logic
• Partial algebras, meaning categories and algebraization
• Morita equivalence of many-sorted algebraic theories
• On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus
• Reconciling first-order logic to algebra
• scientific article; zbMATH DE number 5005365 (Why is no real title available?)
• scientific article; zbMATH DE number 7401822 (Why is no real title available?)
• On the Algebraization of Many-Sorted Logics
• scientific article; zbMATH DE number 4006249 (Why is no real title available?)
• First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
• Flat algebras and the translation of universal Horn logic to equational logic
• scientific article; zbMATH DE number 2219536 (Why is no real title available?)
• Many-sorted equivalence of shiny and strongly polite theories
• The universal theory of first order algebras and various reducts

This page was built for publication: First-order theories as many-sorted algebras

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