Zeitschriftenartikel:
R. Kuznets, B. Lellmann:
"Interpolation for intermediate logics via injective nested sequents";
Journal of Logic and Computation,
31
(2021),
3;
S. 797
- 831.
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. Finally, we provide a prototype implementation combining proof search and countermodel construction.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1093/logcom/exab015
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.