Keyphrases
- linear logic
- intuitionistic logic
- theorem prover
- interactive theorem proving
- natural deduction
- cut elimination
- proof search
- sequent calculus
- proof theoretic
- logic programming
- fixed point
- logical framework
- inference rules
- classical logic
- von neumann
- fuzzy set theory
- theorem proving
- interval valued
- minimum spanning tree
- desirable properties
- real world
- group decision making
- proof planning
- information retrieval
- heavy traffic limit