Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.

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

Keyphrases

truth values
inference rules
logic programming
linear logic
theorem prover
fixpoint
multi valued
classical logic
natural deduction
logic programs
fuzzy set theory
interval valued
logical framework
modal logic
fuzzy information
fuzzy numbers
sequent calculus
databases
answer set programming
fuzzy sets
rough sets