Interpolation in Logiken monotoner systeme

Archiv für Mathematische Logik und Grundlagenforschung ◽

10.1007/bf02318022 ◽

1980 ◽

Vol 22 (1-2) ◽

pp. 1-17 ◽

Cited By ~ 1

Author(s):

H. -D. Ebbinghaus ◽

M. Ziegler

Download Full-text