Keyphrases
- modal logic
- natural deduction
- sequent calculi
- t norm
- multi valued
- sequent calculus
- cut elimination
- classical logic
- inference rules
- valued logic
- predicate logic
- logic programming
- abductive reasoning
- logical framework
- linear logic
- epistemic logic
- nonmonotonic logics
- data mining
- valued semantics
- automated reasoning
- theorem prover
- rough sets
- dea models
- computational properties
- deontic logic
- default reasoning
- theorem proving
- temporal logic
- programming language
- website