ABSTRACT

If we wish to examine the philosophical significance of substructural logics, there are a number of possible paths to follow. One obvious path is to look at the philosophical significance of the proof theory of substructural logics. There are many important works which explore the connections between proof theories and theories of meaning. 1 However, I do not want to examine proof theory here. Instead, I wish to examine the frame semantics for substructural logics, to see whether they can be used for any philosophical gain. What is the significance of the point semantics for these logics?