Subthreshold Dual Mode Logic.

Asaf Kaizerman Sagi Fisher Alexander Fish

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2013)

Keyphrases

modal logic
automated reasoning
classical logic
logic programming
primal dual
multi valued
floating gate
sound and complete axiomatization
databases
information systems
logical framework
formal theory