A Geometric Proof of the Completeness of the Lukasiewicz Calculus.
Giovanni PantiPublished in: J. Symb. Log. (1995)
Keyphrases
- geometry theorem proving
- sequent calculus
- automated theorem proving
- modal logic
- natural deduction
- theorem proving
- proof search
- proof procedure
- theorem prover
- cut elimination
- provably correct
- computer algebra
- inference rules
- automated deduction
- databases
- geometric structure
- linear logic
- image processing
- geometric constraints
- data sets
- information systems
- artificial intelligence
- information retrieval
- high order
- data mining
- first order logic
- description logics
- neural network
- database systems
- geometric reasoning
- website
- automated theorem provers