Grammar Specification in Categorial Logics and Theorem Proving.
Saturnino F. Luz-FilhoPublished in: CADE (1996)
Keyphrases
- theorem proving
- inference rules
- decision procedures
- grammar induction
- first order logic
- automated deduction
- formal languages
- term rewriting
- automatic programming
- automated reasoning
- parallel search
- modal logic
- theorem prover
- proof procedure
- natural language
- context free grammars
- proof planning
- automated theorem proving
- operational semantics
- logical inference
- geometry theorem proving
- distributed search
- predicate calculus
- classical logic
- formal model
- natural language processing
- integrity constraints
- semi supervised
- training data
- machine learning