Preservation of Interpolation Features by Fibring

DOI10.1093/logcom/exm061zbMath1138.03010OpenAlexW2027926524MaRDI QIDQ5450571

Walter Alexandre Carnielli, Cristina Sernadas, João Rasga

Publication date: 12 March 2008

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

Full work available at URL: https://semanticscholar.org/paper/1ae348def416266b52f8cee19cdbbf56932cb03f

zbMATH Keywords

interpolationpreservation of interpolationfibring of logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Related Items (4)

Interpolation via translations ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Fibring as biporting subsumes asymmetric combinations

This page was built for publication: Preservation of Interpolation Features by Fibring