Four-valued semantics for relevant logics (and some of their rivals).

Published in: J. Philos. Log. (1995)

Keyphrases

valued semantics
consistent query answering
default logic
nonmonotonic reasoning
logical implication
expressive power
inference rules
dl lite
database
databases
default reasoning