First-order interpolation of non-classical logics derived from propositional interpolation

DOI10.1007/978-3-319-66167-4_15zbMath1496.03097OpenAlexW2745840098MaRDI QIDQ1687562

Anela Lolic, Matthias Baaz

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_15

zbMATH Keywords

interpolationproof theoryGödel logicslattice-based many-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

First-order interpolation derived from propositional interpolation

This page was built for publication: First-order interpolation of non-classical logics derived from propositional interpolation