Relationships between Connectives in Three-Valued Logics.

Davide Ciucci Didier Dubois

Published in: IPMU (1) (2012)

Keyphrases

inference rules
nonmonotonic logics
modal logic
classical logic
expressive power
valued semantics
databases
truth values
theorem prover
epistemic logic
causal relationships
semantic relationships
temporal logic
information retrieval
valued logic
sequent calculus
consistent query answering
database