Event Detail

Wed Nov 2, 2005
234 Moses, 6–8 PM
Working Group in the History and Philosophy of Logic, Mathematics, and Science
Bob Meyer (Australian National University)
Classical Relevantism

This paper examines theories based on relevant logics in which a classical Boolean negation is added to the original relevant DeMorgan negation. Special attention will be paid to the systems R# and R## of relevant arithmetic.