Relevance logics and intuitionistic negation.
José M. MéndezGemma RoblesPublished in: J. Appl. Non Class. Logics (2008)
Keyphrases
- classical logic
- logic programming
- logic programs
- expressive power
- linear logic
- information retrieval
- truth values
- modal logic
- inference rules
- propositional calculus
- proof theory
- fixpoint
- fuzzy set theory
- fuzzy numbers
- theorem prover
- deductive databases
- interval valued
- test collection
- relevance feedback
- fuzzy logic
- decision making