A proof theory of (omega-)context-free languages, via non-wellfounded proofs.
Anupam DasAbhishek DePublished in: CoRR (2024)
Keyphrases
- proof theory
- context free languages
- default reasoning
- automated reasoning
- context free
- context free grammars
- grammatical inference
- decision procedures
- theorem proving
- regular languages
- reasoning problems
- theorem prover
- nonmonotonic reasoning
- context dependent
- context sensitive
- regular expressions
- inductive inference
- probability distribution
- belief revision