Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus.
Junhua YuPublished in: Ann. Pure Appl. Log. (2020)
Keyphrases
- sequent calculus
- cut elimination
- intuitionistic logic
- linear logic
- natural deduction
- inference rules
- modal logic
- linear time temporal logic
- proof search
- wide class
- theorem prover
- classical logic
- theorem proving
- training data
- logical framework
- default logic
- logic programming
- sufficient conditions
- probability distribution