Department of computer science king's college london london wc2r 2ls. the finite model property for bci and related systems

Studia Logica

Volumn 57, Issue 2-3, 1996, Pages 303-323

  Buszkowski, Wojciech ^a  

^a NONE

Author keywords

Finite models; Substructural logics; The lambek calculus

Indexed keywords

EID: 0009942344     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/bf00370837     Document Type: Article

References (16)

1. VAN BENTHEM, J., 1991, Language in action. Categories, lambdas and dynamic logic, North-Holland, Amsterdam.
2. BUSZKOWSKI, W., 1982, 'Some decision problems in the theory of syntactic categories', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 28, 229-238.
3. BUSZKOWSKI, W., 1986, 'Completeness results for Lambek syntactic calculus', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32, 13-28.
4. BUSZKOWSKI, W., 1987, 'The logic of types', in: J. T. Srzednicki (ed.), Initiatives in Logic, Nijhoff, Dordrecht.
5. BUSZKOWSKI, W., W. MARCISZEWSKI and J. VAN BENTHEM, 1988, (eds.), Categorial grammar, J. Benjamins, Amsterdam.
6. DOSEN, K., 1985, 'A Completeness theorem for the Lambek calculus of syntactic categories', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31, 235-241.
7. DOSEN, K., and P. SCHROEDER-HEISTER, 1993, (eds.), Substructural logics, Oxford University Press, Oxford.
8. DUSNN, J. M., 'Partial gaggles applied to logics with restricted structural rules', in [7J.
9. GIRARD, J. Y., 1987, 'Linear logic', Theoretical Computer Science 50, 1-102.
10. LAMBEK, J., 1958, 'The mathematics of sentence structure', American Mathematical Monthly 65, 154-170, reprinted in [5J.
11. MEYER, R. K., and H. ONO, 1994, 'The finite model property for BCK and BCIW, Studia Logica 53, 107-118.
12. MOORTGAT, M., 1988, Categorial investigations. Logical and linguistic aspects of the Lambek calculus, Foris, Dordrecht.
13. OEHRLE, R. T., E. BACH and D. WHEELER, 1988, (eds.), Categorial grammars and natural language structures, Reidel, Dordrecht.
14. ONO, H., and Y. KOMORI, 1985, 'Logics without the contraction rule', Journal of Symbolic Logic 50, 169-201.
15. PENTUS, M., 1993, Lambek calculus is L-complete, ILLC Prepublication Series, University of Amsterdam.
16. WANSING, H., 1992, The logic of information structures, Ph.D. Thesis, University of Amsterdam.