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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/s11787-008-0035-1 | Logica Universalis |
Keywords | Field | DocType |
. proof theory,institutional model theory,birkhoff completeness,horn sentences,abstract substitutions.,model theory,proof theory | Discrete mathematics,Horn clause,Gödel's completeness theorem,Algebra,Of the form,Proof calculus,Proof theory,Algorithm,Preorder,Completeness (statistics),Mathematics | Journal |
Volume | Issue | ISSN |
2 | 2 | 1661-8300 |
Citations | PageRank | References |
10 | 0.54 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mihai Codescu | 1 | 89 | 12.58 |
Daniel Găină | 2 | 42 | 5.30 |