Contenability and the Logic of Consequential Implication.

Published in: Log. J. IGPL (2004)

Keyphrases

modal logic
logic programming
asynchronous circuits
data model
functional dependencies
horn clauses
predicate logic
nonmonotonic logics
logical implication
database
deontic logic
epistemic logic
set theory
classical logic
model checking
search algorithm
databases