Graduate studies at Western
Journal of Symbolic Logic 64 (2):790-802 (1999)
|Abstract||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 FL c and GL - c of Ono , that will settle the open problems stated in Ono |
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
Ian Hodkinson (2002). Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2):205 - 240.
Andreja Prijatelj (1996). Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics. Studia Logica 57 (2-3):437 - 456.
C. J. van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213-222.
C. J. Van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213 - 222.
Norihiro Kamide (2004). Quantized Linear Logic, Involutive Quantales and Strong Negation. Studia Logica 77 (3):355 - 384.
Yves Lafont (1997). The Finite Model Property for Various Fragments of Linear Logic. Journal of Symbolic Logic 62 (4):1202-1208.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Added to index2009-01-28
Total downloads3 ( #213,976 of 738,458 )
Recent downloads (6 months)1 ( #61,778 of 738,458 )
How can I increase my downloads?