1. (100%) On Urquhart's C Logic - Agata Ciabattoni
! C), with k 2, is in fact redundant. 1 Introduction The logic C was introduced by Urquhart in the ... and show the following results: (1) C and Cnew are distinct versions of G odel logic without
(ps) - 31-mar-2009