Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
R. Kuznets, B. Lellmann:
"Interpolation for Intermediate Logics via Injective Nested Sequents";
Vortrag: Online Partout Seminar,
online, France (eingeladen);
09.11.2020.
Kurzfassung englisch:
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.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.