Logic as a distributive law.

Mike Stay Lucius Gregory Meredith

Published in: CoRR (2016)

Keyphrases

modal logic
logic programming
multi valued
data sets
information retrieval
legal reasoning
case law
automated reasoning
probabilistic logic
classical logic
nonmonotonic logics
truth values
hypothetical reasoning