Every two-valuated propositional calculus has the interpolation property

Bulletin of the Section of Logic, Tom 9, Numer 4 (1980) s. 152-153
Zdzisław Dywan, Teodor Stępień

 

do góry