View in EDS HTML Full Text PDF Full Text

A constructive proof of the Craig's interpolation theorem for QCiore.

Saved in:
Bibliographic Details
Title: A constructive proof of the Craig's interpolation theorem for QCiore.
Authors: Pistone, Victoria Arce1
Source: Logic Journal of the IGPL; Oct2025, Vol. 33 Issue 5, p1-19, 19p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:13670751
DOI:10.1093/jigpal/jzaf068