首页   按字顺浏览 期刊浏览 卷期浏览 A Labelled Deductive System for Relational Semantics of the Lambek Calculus
A Labelled Deductive System for Relational Semantics of the Lambek Calculus

 

作者: Miroslawa Kolowska‐Gawiejnowicz,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1999）
卷期: Volume 45, issue 1  

页码: 51-58

 

ISSN:0942-5616

 

年代: 1999

 

DOI:10.1002/malq.19990450105

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Lambek calculus;Labelled deductive system;Relational semantics

 

数据来源: WILEY

 

摘要:

AbstractWe present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.

 

点击下载:  PDF (484KB)



返 回