Studia Logica 57 (2-3):303 - 323 (1996)

Abstract
We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370837
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: 63,133
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

The Mathematics of Sentence Structure.Joachim Lambek - 1968 - Journal of Symbolic Logic 33 (4):627-628.
Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Language in Action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (1-5):13-28.

View all 12 references / Add more references

Citations of this work BETA

Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.

View all 8 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
27 ( #404,091 of 2,448,214 )

Recent downloads (6 months)
1 ( #451,050 of 2,448,214 )

How can I increase my downloads?

Downloads

My notes