Models for Substructural Arithmetics

  • Greg Restall Philosophy Department, The University of Melbourne

Abstract

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.

Author Biography

Greg Restall, Philosophy Department, The University of Melbourne
Published
2010-09-22
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: <https://ojs.victoria.ac.nz/ajl/article/view/1814>. Date accessed: 23 nov. 2019. doi: https://doi.org/10.26686/ajl.v8i0.1814.