Journal article
Relational proof system for linear and other substructural logics
Abstract
In this paper we give relational semantics and an accompanying relational proof system for a variety of intuitionistic substructural logics, including (intuitionistic) linear logic with exponentials. Starting with the (Kripke-style) semantics for FL as discussed in [13], we developed, in [11], a relational semantics and a relational proof system for full Lambek calculus. Here, we take this as a base and extend the results to deal with the …
Authors
MacCaull W
Journal
Logic Journal of IGPL, Vol. 5, No. 5, pp. 673–697
Publisher
Oxford University Press (OUP)
Publication Date
September 1, 1997
DOI
10.1093/jigpal/5.5.673
ISSN
1367-0751