Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.
Zoran MajkicPublished in: ISMVL (2005)
Keyphrases
- truth values
- inference rules
- multi valued
- fixpoint
- classical logic
- theorem prover
- abductive reasoning
- linear logic
- modal logic
- natural deduction
- fuzzy relations
- logical framework
- horn clauses
- cut elimination
- expert systems
- sequent calculus
- fuzzy set theory
- fuzzy numbers
- first order logic
- finite state machines
- inference mechanism
- functional dependencies
- logic programs
- databases