You are not currently logged in.
Access JSTOR through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic
Mitsuhiro Okada and Kazushige Terui
The Journal of Symbolic Logic
Vol. 64, No. 2 (Jun., 1999), pp. 790-802
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2586501
Page Count: 13
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
Recently Lafont  showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL--systems except FLc and GL-c of Ono , that will settle the open problems stated in Ono .
The Journal of Symbolic Logic © 1999 Association for Symbolic Logic