View of Craig’s interpolation theorem for logic with the Ruet operator

Return to Article Details Craig’s interpolation theorem for logic with the Ruet operator Download Download PDF