Preservation of Interpolation Features by Fibring
From MaRDI portal
Publication:5450571
DOI10.1093/logcom/exm061zbMath1138.03010MaRDI 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
Related Items
Craig interpolation in the presence of unreliable connectives, Fibring as biporting subsumes asymmetric combinations, Preservation of Craig interpolation by the product of matrix logics, Interpolation via translations