On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda.
Marco SchnurrPublished in: Reliab. Comput. (2005)
Keyphrases
- cut elimination
- sequent calculus
- proof search
- inference rules
- linear logic
- natural deduction
- elastic registration
- natural language
- theorem prover
- image morphing
- theorem proving
- truth values
- autoepistemic logic
- database
- modal logic
- decision trees
- genetic algorithm
- data mining
- real world
- formal proof
- denotational semantics
- equational theories
- real time