Ternary Relations and Models for Relevant Arithmetics

December 15, 2014

A seminar at the workshop Algebra and Substructural Logic 5 (La Trobe, December 2015).

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.