On Partial and Paraconsistent Logics.

Reinhard Muskens

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

inference rules
logic programming
modal logic
inconsistent knowledge
classical logic
valued semantics
truth values
valued logic
expressive power
knowledge base
website
fuzzy logic
possibilistic logic
default logic
computational properties
decision procedures