Representation theorems for residuated groupoids

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1328, Issue , 1997, Pages 426-434

  Szczerba, Marek ^a  

^a ADAM MICKIEWICZ UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

REPRESENTATION THEOREM; RESIDUATED; STRONG COMPLETENESS;

COMPUTATIONAL LINGUISTICS;

EID: 84949844232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0052170     Document Type: Conference Paper

References (10)

1. Andréka, H., Mikulás, Sz., “Lambek Calculus and its Relational Semantics: Completeness and Incompleteness”, Journal of Logic, Language and Information, 3(1), 1994.
2. van Benthem, J., Language in action, North-Holland, Amsterdam, 1991.
3. Buszkowski, W., “Completeness results for Lambek Syntactic Calculus”, Zeitschr. f. math. Logik und Grundlagen d. Math., 32, 13-28, 1986
4. Buszkowski, W., “Mathematical Linguistics and Proof Theory”, in J. van Benthem and A. ter Menlen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, to appear.
5. Kołowska-Gawiejnowicz, M., “Powerset Residuated Algebras and Generalized Lambek Calculus”, Mathematical Logic Quarterly, to appear.
6. Kurtonina, N., Frames and Labels. A Model Analysis of Categorial Inference, Ph.D. Thesis, University of Utrecht, 1995.
7. Lambek, J., “The mathematics of sentence structure”, American Mathematical Monthly, 65, 154-170, 1958.
8. Lambek, J. “On the calculus of syntactic types”, in R. Jacobson (ed.), Structure of Language and Its Mathematical Aspects, AMS, Providence, 1961.
9. Moortgat, “Categorial Gramar”, in: J. van Benthem and A. ter Menlen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, to appear.
10. Rasiowa, H., An algebraic approach to non-classical logics, Polish Scientific Publishers and North Holland, Amsterdam, 1974.