A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19900360103
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,954
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Judgement Aggregation in Non-Classical Logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.

Add more citations

Similar books and articles

A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
The Conjoinability Relation in Lambek Calculus and Linear Logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
Linguistic Applications of First Order Intuitionistic Linear Logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
A New Correctness Criterion for Cyclic Proof Nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
A Note on the Lambek-van Benthem Calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Substructural Logics on Display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.

Analytics

Added to PP index
2016-02-04

Total downloads
26 ( #245,269 of 2,293,884 )

Recent downloads (6 months)
8 ( #62,959 of 2,293,884 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature