Models for Substructural Arithmetics

  • Greg Restall Philosophy Department, The University of Melbourne


This paper explores models for arithmetic in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find negation complete models for arithmetic in R.


Download data is not yet available.

Author Biography

Greg Restall, Philosophy Department, The University of Melbourne
How to Cite
RESTALL, Greg. Models for Substructural Arithmetics. The Australasian Journal of Logic, [S.l.], v. 8, sep. 2010. ISSN 1448-5052. Available at: <>. Date accessed: 12 aug. 2020. doi: