First-order theories as many-sorted algebras

DOI10.1305/NDJFL/1093870521zbMath0543.03016OpenAlexW1986916099MaRDI QIDQ795823

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

first-order theoryalgebraic semanticsvarietiesmany-sorted algebraequational axiomsfirst order equational calculusfirst-order completenessHenkin's models

Mathematics Subject Classification ID

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

Related Items (2)

Partial algebras, meaning categories and algebraization ⋮ Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets

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