Disjunctive Ordered Logic

Francesco Buccafurri Nicola Leone Luigi Palopoli Pasquale Rullo

Published in: DEXA (1995)

Keyphrases

logic programming
predicate logic
logic synthesis
data sets
databases
logical framework
classical logic
asynchronous circuits
sound and complete axiomatization
modal logic
partially ordered
multi valued
formal theory