Publications in Scientific Journals:
M. Baaz, A. Lolic:
"First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation";
Lecture Notes in Computer Science,
10483
(2017),
265
- 280.
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.48550/arXiv.2002.05404
Created from the Publication Database of the Vienna University of Technology.