Distributive Full Lambek Calculus Has the Finite Model Property

1. Belardinelli F., Jipsen P., Ono H.: Algebraic Aspects of Cut Elimination. Studia Logica 77(2), 209–240 (2004)

   Article  Google Scholar 

2. Brady R.: Gentzenization and Decidability of some Contraction–less Relevant Logics. Journal of Philosophical Logic 20(1), 97–117 (1991)

   Article  Google Scholar 

3. Buszkowski W., and Farulewski M., ‘Nonassociative Lambek Calculus with Additives and Context–Free Languages’, Lecture Notes in Computer Science. To appear.

4. Dunn M., A Gentzen System for Positive Relevant Implication, Journal of Symbolic Logic, 38 (1973), 356–357. Abstract.

   Google Scholar 

5. Galatos N., Jipsen P., Kowalski T., and Ono H., Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007.

6. Galatos N., Raftery J.: Adding Involution to Residuated Structures. Studia Logica 77(2), 181–207 (2004)

   Article  Google Scholar 

7. Giambrone S., TW₊ and RW₊ are Decidable, Journal of Philosophical Logic, 14 (1985), 3, 235–254.

   Article  Google Scholar 

8. Jipsen P., and Tsinakis C., ‘A Survey of Residuated Lattices’, in J. Martinez, (ed.), Ordered Algebraic Structures, Kluwer Academic Publishers, 2002, 19–56.

9. Mints G., ‘Cut Elimination Theorem for Relevant Logics’, Journal of Mathematical Sciences, 6 (1976), 4, 422–428. Translated from Issledovanija po konstructivnoj mathematike i matematiceskoj logike V, Izdatelstvo Nauka, 1972.

10. Okada M., and Terui K., The Finite Model Property for Various Fragments of Intuitionistic Linear Logic, Journal of Symbolic Logic, 64 (1999), 2, 790–802.

    Article  Google Scholar 

Download references