hint i have a major preference for the relevant
February 20, 2013
(hint: i have a major preference for the relevant logics. so. if you don’t name a system, you’d better be prepared to use one of them. because i’ll use those inference rules, logical operators, and semantics.)