Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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).
van Benthem, J., Language in Action, North-Holland, Amsterdam, 1991.
Buszkowki, W., “Completeness Results for Lambek Syntactic Calculus”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 32 (1986) pp.13–28.
Dosen, K., “Sequent-Systems and Groupoid Models”, Studia Logica, I: 47 (1988), pp.353–385,
Dosen, K., “Sequent-Systems and Groupoid Models”, Studia Logica, II: 48 (1989), pp.41–65.
Dosen, K., “Modal Logic as Metalogic”, Journal of Logic, Language and Information Vol.1, no.3 (1992a) pp.173–201
Dosen, K., “Modal Translations in Substructural Logics”, Journal of Philosophical Logic 21 (1992b), pp.283–336.
Girard, J.-Y., “Linear Logic”, Theoretical Computer Science 50 (1987) pp. 1–102.
Hepple, M., The Grammar and Processing of Order and Dependency: a Categorial Approach, PhD Dissertation, Centre for Cognitive Science, University of Edinburgh, 1990.
Jakobson, J. (ed.), Structure of Language and Its Mathematical Aspects, Providence, 1961.
Kanazawa, M., “The Lambek Calculus Enriched with Additional Connectives”, Journal of Logic, Language and Information, I (1992), pp.141–171.
Kurtonina, N., On Modal Extensions of the Lambek Calculus, manuscript, Catholic University of Leuven, (1992).
Lambek, J., “On the Calculus of Syntactic Types”, in: (Jakobson, 1961), pp. 166–178.
Moortgat, M., Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Floris, Dordrecht, 1988.
Morrill, G., Type-Logical Grammar, to appear (available as OTS Working Papers, OTS-WP-CL-92–002, OTS, Utrecht University, 1992.
Morrill, G., N. Leslie, M. Hepple & G. Barry, “Categorial Deductions and Structural Operations”, in (Barry and Morrill, 1990), pp. 1–21.
de Paiva, V., “A Dialectica Model of the Lambek Calculus”, Proceedings Eigth Amsterdam Colloquium, University of Amsterdam, 1991.
Pentus, M., Lambek Grammars are Context Free, manuscript, Faculty of Mechanics and Mathematics, Moscow University, 1992.
Roorda, D., Resource Logics: Prooftheoretical Investigations, PhD Dissertation, University of Amsterdam, (1991).
Venema, Yde, Meeting strength in suhstructural logics, Studia Logica, to appear.
Versmissen, K., Lambek Calculus, Modalities and Semigroup Semantics, manuscript, OTS, Utrecht University, 1992, 8 pp.
Wansing, H., The Logic of Information Structures, Springer Lecture Notes in Artificial Intelligence IX, Springer-Verlag, Berlin, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Venema, Y. (1995). Meeting a Modality?. In: Pólos, L., Masuch, M. (eds) Applied Logic: How, What and Why. Synthese Library, vol 247. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8533-0_12
Download citation
DOI: https://doi.org/10.1007/978-94-015-8533-0_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4536-2
Online ISBN: 978-94-015-8533-0
eBook Packages: Springer Book Archive