Abstract.
We develop an abstract proof calculus for logics whose sentences are ‘Horn sentences’ of the form: \((\forall X)H \Rightarrow c\) and prove an institutional generalization of Birkhoff completeness theorem. This result is then applied to the particular cases of Horn clauses logic, the ‘Horn fragment’ of preorder algebras, order-sorted algebras and partial algebras and their infinitary variants.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
the restriction of a logic to Horn sentences
Rights and permissions
About this article
Cite this article
Codescu, M., Găină, D. Birkhoff Completeness in Institutions. Log. univers. 2, 277–309 (2008). https://doi.org/10.1007/s11787-008-0035-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-008-0035-1