Ternary Relations and Models for Relevant Arithmetics

May 30, 2014

A seminar at Melbourne Logic Day, May 30, 2014.

I explain how the ‘trace model’ for relevant arithmetic (introduced here) can be extended quite naturally to model a logic including a de Morgan negation. The result is not a model for the logic R, but for its weaker cousin, TW.