Multirole Logic (Extended Abstract).

Hongwei Xi Hanwen Wu

Published in: CoRR (2017)

Keyphrases

extended abstract
logic programming
multi valued
modal logic
digital circuits
predicate logic
multiscale
automated reasoning
asynchronous circuits
delay insensitive
nonmonotonic logics
abductive reasoning
logic synthesis