The Basic Constructive Logic for Absolute Consistency.

José M. Méndez Gemma Robles

Published in: J. Log. Lang. Inf. (2009)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
maintaining consistency
data sets
multi valued
delay insensitive
consistency checking
asynchronous circuits
case study
constraint networks
automated reasoning
path consistency
digital circuits