Bounded Arithmetic in Free Logic

Yoriyuki Yamagata

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

micron cmos
logic programming
truth table
modal logic
defeasible logic
multi valued
data sets
classical logic
neural network
bayesian networks
automated reasoning
computational properties
predicate logic
linear logic
multiple valued