Proof Nets for Basic Discontinuous Lambek Calculus.
Glyn MorrillMario FaddaPublished in: J. Log. Comput. (2008)
Keyphrases
- natural deduction
- automated theorem proving
- proof search
- sequent calculus
- proof procedure
- theorem proving
- theorem prover
- provably correct
- linear logic
- cut elimination
- computer algebra
- website
- proof planning
- proof theoretic
- inference rules
- automated deduction
- algebraic structure
- interactive theorem proving
- mathematical proofs
- information systems
- term rewriting
- continuous functions
- answer set programming
- modal logic
- expert systems
- e learning