A rule-extension of the non-associative Lambek calculus
type: Item
instance of: scholarly article
title: A rule-extension of the non-associative Lambek calculus
zbMATH Open document ID: 1019.03019
DOI: 10.1023/A:1020529116833
published in: Studia Logica
publication date: 2002-12-15T00:00:00Z
review text: In the paper an extension (\(L^{+}\)) of the non-associative Lambek calculus (\(L\)) is proposed. This extension is defined by postulating new left introduction rules for the directional implications. The additional rules give the possibility to prove certain sequents which are unprovable in \(L\). It is shown that \(L^{+}\) is sound and complete with respect to the ternary frame semantics for \(L\). This relational semantics is a modification of the semantics for \(L\) presented by Došen (in 1992).
reviewed by: Mirosława Kołowska-Gawiejnowicz
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 1845371
zbMATH Keywords: Lambek calculus
zbMATH Keywords: categorial grammar
zbMATH Keywords: coimplication
author: Heinrich Wansing
MaRDI profile type: Publication
full work available at URL: a:1020529116833
OpenAlex ID: W1583463132
description: scientific article; zbMATH DE number 1845371