Review of Symbolic Logic 13 (4):845-856 (2020)

Authors
Nissim Francez
Technion, Israel Institute of Technology
Abstract
We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s175502031900011x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,700
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

Interpolation and FEP for Logics of Residuated Algebras.Wojciech Buszkowski - 2011 - Logic Journal of the IGPL 19 (3):437-454.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A 'Natural Logic' Inference System Using the Lambek Calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
The Lambek Calculus Enriched with Additional Connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
A Note on the Lambek-van Benthem Calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Full Lambek Calculus in Natural Deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.

Analytics

Added to PP index
2019-02-26

Total views
8 ( #959,460 of 59,683 )

Recent downloads (6 months)
1 ( #466,190 of 59,683 )

How can I increase my downloads?

Downloads

My notes