Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Kuznets, R., & Lellmann, B. (2020). Interpolation for Intermediate Logics via Injective Nested Sequents. Online Partout Seminar, online, France, France. http://hdl.handle.net/20.500.12708/87072
E191-02 - Forschungsbereich Embedded Computing Systems
-
Date (published):
2020
-
Event name:
Online Partout Seminar
-
Event date:
9-Nov-2020
-
Event place:
online, France, France
-
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.
en
Project title:
Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (FWF - Österr. Wissenschaftsfonds)
