Birkhoff Completeness in Institutions

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence

English

Publikation

Mihai Codescu; Daniel Găină

In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

Zusammenfassung

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.

Folgen Sie uns auf:

Herausgeber

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)

Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

Tel.: +49 631 20575 0

info@dfki.de

Alle Ansehen

Standorte

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence

