Intuitionistic Letcc via Labelled Deduction.
Jason ReedFrank PfenningPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- theorem prover
- linear logic
- intuitionistic logic
- inference rules
- theorem proving
- automated theorem proving
- natural deduction
- fuzzy set theory
- classical logic
- proof search
- automated deduction
- interval valued
- logical framework
- computer algebra
- fuzzy information
- first order logic
- fuzzy numbers
- cut elimination
- neural network
- proof procedure
- higher order
- deductive reasoning
- modal logic
- fuzzy rules
- database systems
- decision making
- sequent calculus
- learning algorithm
- machine learning