Bulletin of the Section of Logic 13 (1):31-35 (1984)

Abstract
van Benthem [1] introduces a variant of Lambek Syntactic Calculus , proposed by Lambek [6], we call the variant Lambek-van Benthem Calculus . As proved by van Benthem, LBC is complete with respect to a semantics of λ-terms. In this note we indicate other relevant properties of LBC , just supporting some expectations of van Benthem. Given a countable set P r, of primitive types, the set T p, of types, is the smallest one such that: T p contains P r, if x, y are in T p then is in T p. The variables x, y, z will range over types. Expressions X → x are to be called reduction formulas
Keywords No keywords specified (fix it)
Categories (categorize this paper)
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: 60,878
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

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.
The Lambek Calculus Enriched with Additional Connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
Cut-Rule Axiomatization of the Syntactic Calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
Product-Free Lambek Calculus and Context-Free Grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.

Analytics

Added to PP index
2014-01-25

Total views
29 ( #369,066 of 2,439,005 )

Recent downloads (6 months)
1 ( #434,623 of 2,439,005 )

How can I increase my downloads?

Downloads

My notes