The Semantics of Entailment Omega (2000)

by M Dezani-Ciancaglini, R K Meyer, Y Motohama