A proof theory of right-linear (omega-)grammars via cyclic proofs.

Anupam Das Abhishek De

Published in: CoRR (2024)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
theorem proving
reasoning problems
cut elimination
theorem prover
decision procedures
artificial intelligence
special case