A 2-categorical framework for the syntax and semantics of many-sorted equational logic.

Juan Climent Vidal Juan Soliveres Tur

Published in: Reports Math. Log. (2010)

Keyphrases

theoretical framework
logical framework
probabilistic model
main contribution
reasoning engine
learning algorithm
logic programming
conceptual framework
equational theories