Relevance logics and intuitionistic negation II.

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

Keyphrases

classical logic
logic programming
logic programs
expressive power
fuzzy set theory
modal logic
truth values
interval valued
linear logic
inference rules
relevance feedback
theorem prover
information retrieval
fuzzy relations
default logic
predicate logic
natural deduction
nonmonotonic inference
derivation rules