Honety in partial logic - Hoek, Wiebe van der; Jaspars, Jan; Thijsse, Elias (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1995)