The logic of 1-conservativity continued. Archiv fur Mathematische Logik und Grundlagenforschung (1992)

by P Hajek, F Montagna