Uniform interpolation and the existence of sequent calculi.

Rosalie Iemhoff

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

sequent calculi
conditional logic
image interpolation
modal logic
cut elimination
machine learning
object oriented
sufficient conditions
logic programming