Graph-based Logic and Sketches

Atish Bagchi Charles Wells

Published in: CoRR (2008)

Keyphrases

modal logic
logic programming
graph model
multi valued
classical logic
defeasible logic
nonmonotonic logics
sound and complete axiomatization
neural network
case study
graph theoretic
predicate logic
asynchronous circuits
propositional dynamic logic