Interpolation in propositional Horn logic

DOI10.1093/LOGCOM/EXX042zbMath1444.03127OpenAlexW2783629319MaRDI QIDQ4612438

Gerard R. Renardel de Lavalette

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://research.rug.nl/en/publications/interpolation-in-propositional-horn-logic(d03e1e70-c2fc-4042-a60d-656c48537d43).html

zbMATH Keywords

polynomial interpolationuniform interpolationpropositional Horn logiclazy Kleene algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Classical propositional logic (03B05) Interpolation, preservation, definability (03C40)

This page was built for publication: Interpolation in propositional Horn logic