Steven T. Kuhn Minimal Non-contingency Logic. 230-234 1995 36 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl36.html#Kuhn95