The inapplicability of (selected) paraconsistent logics.

Rafal Urbaniak Pawel Sinilo

Published in: J. Appl. Non Class. Logics (2014)

Keyphrases

inference rules
expressive power
classical logic
modal logic
database
logic programming
truth values
valued logic
social networks
knowledge base
knowledge representation
logic programs
randomly selected
possibilistic logic
valued semantics
inconsistent knowledge