Keyphrases
- classical logic
- linear logic
- cut elimination
- description logics
- natural deduction
- modal logic
- logical framework
- decision procedures
- sequent calculus
- logic programming
- automated reasoning
- fixed point
- wide class
- computational properties
- fuzzy set theory
- theorem prover
- query answering
- multi valued
- default logic
- fuzzy numbers
- proof theory
- probability theory
- digital circuits
- modal operators
- data model