Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
A. Lolic:
"First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation";
Vortrag: FroCos 2017 - 11th International Symposium on Frontiers of Combining Systems,
Brasilia (eingeladen);
27.09.2017
- 29.09.2017.
Kurzfassung englisch:
This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a first-order interpolant. This methodology is realized for lattice-based finitely-valued logics, the top element representing true and for (fragments of) infinitely-valued first-order G\ödel logic, the logic of all linearly ordered constant domain Kripke frames.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.