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