Powerset residuated algebras and generalized Lambek calculus

Mathematical Logic Quarterly

Volumn 43, Issue 1, 1997, Pages 60-72

  Kołowska Gawiejnowicz, Miroslawa ^a  

^a ADAM MICKIEWICZ UNIVERSITY   (Poland)

Author keywords

Categorial grammar; Labelled deductive system; Lambek calculus; Logical grammar; Residuated algebra

Indexed keywords

EID: 0040747766     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19970430108     Document Type: Article

References (20)

1. ANDRÉKA, H., and S. MIKULÁS, Lambek calculus and its relational semantics: Completeness and incompleteness. J. Logic, Language and Information 3 (1994), 1-37.
2. VAN BENTHEM, J., Language in Action: Categories, Lambdas and Dynamic Logic. North-Holland Publ. Comp, Amsterdam, 1991.
3. BUSZKOWSKI, W., Fregean grammar and residuated semigroups. In: Frege Conference 1984 (G. WECHSUNG, ed.), Akademie-Verlag, Berlin, 1984, pp. 57-62.
4. BUSZKOWSKI, W., Completeness results for Lambek syntactic calculus. Zeitschrift Math. Logik Grundlagen Math. 32 (1986), 13-28.
5. BUSZKOWSKI, W., Logical Foundations of Ajdukiewicz-Lambek Categorial Grammars. Polish Scientific Publishers, Warszawa, 1989 (in Polish).
6. BUSZKOWSKI, W., W. MARCISZEWSKI, and J. VAN BENTHEM (eds.), Categorial Grammar. John Benjamins Publ. Co., Amsterdam, 1988.
7. DOŠEN, K., and P. SCHROEDER-HEISTER (eds.), Substructural Logics. Oxford University Press, Oxford, 1993.
8. DUNN, J. M., Partial-gaggles applied to logics with restricted structural rules. In [7], pp. 63-108.
9. GABBAY, D., Labelled Deductive Systems, Part I. CIS-München, Munich, 1990.
10. GIRARD, J. Y., Linear logic. Theoretical Computer Science 50 (1987), 1-102.
11. KANDULSKI, M., The non-associative Lambek calculus. In [6], pp. 141-151.
12. LAMBEK, J., The mathematics of sentence structure. Amer. Math. Monthly 65 (1958), 154-170, also reprinted in [6], pp. 153-172.
13. LAMBEK, J., On the calculus of syntactic types. In: Structure of Language and Its Mathematical Aspects (R. JACOBSON ed.), AMS, Providence, 1961.
14. MONTAGUE, R., Universal grammar. Theoria 36 (1970), 373-398.
15. MOORTGAT, M., Residuation in mixed Lambek systems. Manuscript, University of Utrecht, 1994.
16. OEHRLE, R. T., E. BACH, and D. WHEELER (eds.), Categorial Grammars and Natural Language Structures. D. Reidel Publ. Comp., Dordrecht, 1988.
17. PANKRAT'EV, N., Completeness of the Lambek calculus with respect to relativized relational semantics. J. Logic, Language and Information 3 (1994), 233-246.
18. PENTUS, M., Lambek calculus is L-complete. ILLC-Prepublication Series, LP-93-14, University of Amsterdam, 1993.
19. PRATT, V., Action logic and pure induction. In: Logics in AI (J. VAN EIJCK ed.), Lecture Notes in Computer Science 478, Springer-Verlag, Berlin-Heidelberg-New York, 1991, pp. 97-120.
20. VENEMA, Y., Tree models and (labelled) categorial grammar. In: Proceedings 9th Amsterdam Colloquium, University of Amsterdam, 1993, pp. 703-722.