Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets, B. Lellmann:
"Interpolation for Intermediate Logics via Injective Nested Sequents";
Talk: Online Partout Seminar,
online, France (invited);
2020-11-09.
English abstract:
We introduce a novel, semantically inspired method of constructing nested sequent calculi for propositional intermediate logics. Applying recently developed methods for proving Craig interpolation to these nested sequent calculi, we obtain constructive proofs of the interpolation property for most non-trivial interpolable intermediate logics, as well as Lyndon interpolation for Gödel logic.