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.