Graphical Regular Logic.

Brendan Fong David I. Spivak

Published in: CoRR (2018)

Keyphrases

predicate logic
modal logic
data sets
logic programming
asynchronous circuits
case study
dynamic logic
probabilistic model
automated reasoning
multi valued
logical framework
proof theory
computational properties
classical logic
graphical representation
database systems
knowledge base