Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- modal logic
- logical framework
- sequent calculus
- logic programming
- fuzzy set theory
- theorem prover
- deontic logic
- proof search
- fuzzy numbers
- automated reasoning
- multi valued
- information retrieval
- defeasible logic
- interval valued
- asynchronous circuits
- inference rules
- sufficient conditions
- pattern recognition