Talks and Poster Presentations (without Proceedings-Entry):
A. Lolic:
"First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation";
Talk: FroCos 2017 - 11th International Symposium on Frontiers of Combining Systems,
Brasilia (invited);
2017-09-27
- 2017-09-29.
English abstract:
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.
Created from the Publication Database of the Vienna University of Technology.