Constructor-based observational logic.

Michel Bidoit Rolf Hennicker

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

modal logic
multi valued
predicate logic
databases
logic programming
automated reasoning
classical logic
neural network
information systems
website
database systems
data structure
expressive power
digital circuits
truth values
causal inference