Contrastive Logic.

Published in: Log. J. IGPL (1995)

Keyphrases

classical logic
predicate logic
databases
neural network
multi valued
real time
dynamic logic
logical framework
modal logic
database
horn clauses
expressive power
programming language
digital circuits
artificial intelligence
epistemic logic
logic synthesis