a-Logic With Arrows.

Murdoch Gabbay Michael Gabbay

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

modal logic
multi valued
classical logic
formal theory
automated reasoning
set theory
databases
neural network
machine learning
information systems
computational properties
defeasible logic
digital circuits
predicate logic
asynchronous circuits