The following pages link to Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770):
Displayed 1 item.