Functorial semantics for partial theories.

Ivan Di Liberti Fosco Loregiàn Chad Nester Pawel Sobocinski

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

logic programming
formal semantics
defeasible logic
multi agent
operational semantics
information systems
multi attribute
cognitive psychology
cp nets
proof theory
logical theories