Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.
Tim S. LyonPublished in: CoRR (2022)
Keyphrases
- linear logic
- sequent calculus
- cut elimination
- inference rules
- sequent calculi
- logic programming
- desirable properties
- structural information
- expressive power
- modal logic
- natural language
- logical framework
- fixed point
- classical logic
- refinement process
- default logic
- context free grammars
- machine learning
- propositional dynamic logic
- high level
- natural deduction
- data model
- hierarchical structure