Paraconsistent Logics Included in Lewis' S4.

Gemma Robles José M. Méndez

Published in: Rev. Symb. Log. (2010)

Keyphrases

inference rules
logic programming
expressive power
truth values
classical logic
inconsistent knowledge
valued semantics
modal logic
decision trees
expert systems
query language
multi agent systems
multiscale
computer vision
conditional logic
machine learning
data sets
propositional calculus
database