<-- home

hint i have a major preference for the relevant

(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.)