2 papers
cs.LO2017
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Ekaterina Komendantskaya, John Power
The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logi…
cs.LO2016
Category theoretic semantics for theorem proving in logic programming: embracing the laxness
Ekaterina Komendantskaya, John Power
A propositional logic program may be identified with a -coalgebra on the set of atomic propositions in the program. The corresponding -coalgebra, where $C(P_…