The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus.
Hiroyoshi KomatsuPublished in: CoRR (2021)
Keyphrases
- mildly context sensitive
- grammatical inference
- computer algebra
- natural deduction
- formal language
- proof procedure
- modal logic
- sequent calculus
- algebraic structure
- proof search
- classical logic
- cut elimination
- computational properties
- automated theorem proving
- transition systems
- theorem proving
- linear time temporal logic
- automata theoretic
- logic programming
- databases
- query language
- tableau calculus
- object oriented
- theorem prover
- probability theory