Keyphrases
- set theory
- cut elimination
- sequent calculus
- linear logic
- inference rules
- first order logic
- wide class
- natural deduction
- partial order
- probability theory
- sufficient conditions
- fuzzy set theory
- modal logic
- rough sets
- rough set theory
- mathematical morphology
- fuzzy sets
- theorem prover
- algebraic geometry
- proof search
- linear time temporal logic
- theorem proving
- morphological operations
- artificial intelligence
- logic programming
- high dimensional