A Non-Binary Method for Finding Interpolants: Theory and Practice

Adam Trybus, Karolina Rożko, Tomasz Skura

We describe a new method of finding interpolants for classical logic using certain refutation system as a starting point. Refutation can be thought of as an alternative approach to…