Dummet's LC has the interpolation property

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 58-60
Stanisław Zachorowski

 

do góry