Meeting a Modality?

Restricted Permutation for the Lambek Calculus
  • Yde Venema
Part of the Synthese Library book series (SYLI, volume 247)


Substructural logics are logics one can give by a Gentzen-style derivation system lacking some or all of the structural rules like associativity, permutation, weakening or contraction. Such logics have received a lot of attention in recent years, partly because of their interest for applications in e.g. computer science (linear logic, cf. Girard (1987)) or linguistics (Lambek Calculus, cf. Lambek (1961) for the original article, or Moortgat (1988), van Benthem (1991) or Morrill (1992) for recent developments). There is a bewildering variety of substructural logics, as we may drop any subset of structural rules from a standard derivation system for let’s say intuitionistic logic. Of this landscape, Wansing (1993) draws a partial map in the form of a lattice, set-inclusion of the derivable sequents being the ordering.


Relative Clause Atomic Formula Intuitionistic Logic Linear Logic Logical Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barry, G. & G. Morrill (eds.), Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, Volume 5, Centre for Cognitive Science, University of Edinburgh (1990).Google Scholar
  2. van Benthem, J., Language in Action, North-Holland, Amsterdam, 1991.Google Scholar
  3. Buszkowki, W., “Completeness Results for Lambek Syntactic Calculus”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 32 (1986) pp.13–28.CrossRefGoogle Scholar
  4. Dosen, K., “Sequent-Systems and Groupoid Models”, Studia Logica, I: 47 (1988), pp.353–385,CrossRefGoogle Scholar
  5. Dosen, K., “Sequent-Systems and Groupoid Models”, Studia Logica, II: 48 (1989), pp.41–65.CrossRefGoogle Scholar
  6. Dosen, K., “Modal Logic as Metalogic”, Journal of Logic, Language and Information Vol.1, no.3 (1992a) pp.173–201CrossRefGoogle Scholar
  7. Dosen, K., “Modal Translations in Substructural Logics”, Journal of Philosophical Logic 21 (1992b), pp.283–336.CrossRefGoogle Scholar
  8. Girard, J.-Y., “Linear Logic”, Theoretical Computer Science 50 (1987) pp. 1–102.CrossRefGoogle Scholar
  9. Hepple, M., The Grammar and Processing of Order and Dependency: a Categorial Approach, PhD Dissertation, Centre for Cognitive Science, University of Edinburgh, 1990.Google Scholar
  10. Jakobson, J. (ed.), Structure of Language and Its Mathematical Aspects, Providence, 1961.Google Scholar
  11. Kanazawa, M., “The Lambek Calculus Enriched with Additional Connectives”, Journal of Logic, Language and Information, I (1992), pp.141–171.Google Scholar
  12. Kurtonina, N., On Modal Extensions of the Lambek Calculus, manuscript, Catholic University of Leuven, (1992).Google Scholar
  13. Lambek, J., “On the Calculus of Syntactic Types”, in: (Jakobson, 1961), pp. 166–178.Google Scholar
  14. Moortgat, M., Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Floris, Dordrecht, 1988.Google Scholar
  15. Morrill, G., Type-Logical Grammar, to appear (available as OTS Working Papers, OTS-WP-CL-92–002, OTS, Utrecht University, 1992.Google Scholar
  16. Morrill, G., N. Leslie, M. Hepple & G. Barry, “Categorial Deductions and Structural Operations”, in (Barry and Morrill, 1990), pp. 1–21.Google Scholar
  17. de Paiva, V., “A Dialectica Model of the Lambek Calculus”, Proceedings Eigth Amsterdam Colloquium, University of Amsterdam, 1991.Google Scholar
  18. Pentus, M., Lambek Grammars are Context Free, manuscript, Faculty of Mechanics and Mathematics, Moscow University, 1992.Google Scholar
  19. Roorda, D., Resource Logics: Prooftheoretical Investigations, PhD Dissertation, University of Amsterdam, (1991).Google Scholar
  20. Venema, Yde, Meeting strength in suhstructural logics, Studia Logica, to appear.Google Scholar
  21. Versmissen, K., Lambek Calculus, Modalities and Semigroup Semantics, manuscript, OTS, Utrecht University, 1992, 8 pp.Google Scholar
  22. Wansing, H., The Logic of Information Structures, Springer Lecture Notes in Artificial Intelligence IX, Springer-Verlag, Berlin, 1993.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • Yde Venema
    • 1
  1. 1.Department of Mathematics and Computer ScienceFree UniversityAmsterdamThe Netherlands

Personalised recommendations