Categorial Semantics for Ajdukiewicz-Lambek Calculus

Vladimir L. Vasyukov

Jump to Content

Categorial Semantics for Ajdukiewicz-Lambek Calculus

于The Heritage of Kazimierz Ajdukiewicz

著者：

Vladimir L. Vasyukov

Vladimir L. Vasyukov
Search for other papers by Vladimir L. Vasyukov in
Current site
Google Scholar
PubMed

类型:: 章节

Page Range:: 321–335

DOI:: https://doi.org/10.1163/9789004457393_025

Purchase instant access (PDF download and unlimited online access):

€42.00€35.00 excl. VAT

Add to Cart

找回访问令牌

Abstract.

In (1958) Lambek introduced a formal system LSC of deriving reduction for syntactic types, which is essentially stronger than the classical cancellation system of Ajdukiewicz (1935). It was proved that LSC is complete with respect to the S- and GS-semantics based on the notion of residuated semigroups (Buszkowski 1986). In this paper categorial semantics of LSC is described (in preorder categories and toposes) and the soundness and the completeness of LSC with respect to those ones is proved.

引用信息

Save
Cite
Email this content

Share Link

Copy this link, or click below to email it to a friend
Email this content
or copy the link directly:

https://brill.edhh.ma/abstract/book/9789004457393/B9789004457393_s025.xml
The link was not copied. Your current browser may not support copying via this button.

Link copied successfully

折叠
展开
回到页面顶端

The Heritage of Kazimierz Ajdukiewicz

丛编： Poznań Studies in the Philosophy of the Sciences and the Humanities, 卷： 40

ISBN:: 9789004457393

出版社:: Brill

印刷出版日期:: 01 Jan 1995

Subjects
- Philosophy
  - 19th & 20th Century Philosophy

Front Matter

Back Matter

统计数据

	全部期间	过去一年	过去30天
摘要浏览次数	93	43	2
全文浏览次数	0	0	0
PDF下载次数	0	0	0

African Studies	Education	Media Studies
American Studies	History	Middle East and Islamic Studies
Ancient Near East and Egypt	Human Rights and Humanitarian Law	Musicology
Art History	International Law	Philosophy
Asian Studies	International Relations	Religious Studies
Biblical Studies	Jewish Studies	Slavic and Eurasian Studies
Biology	Languages and Linguistics	Social Sciences
Book History and Cartography	Life Sciences	Theology and World Christianity
Classical Studies	Literature and Cultural Studies

Subjects

AppBar-Authors 2025

AppBar-Open Access 2025

AppBar-Product Information 2025

AppBar-Company 2025

AppBar-Contact 2025

Categorial Semantics for Ajdukiewicz-Lambek Calculus

Abstract.

引用信息

Share Link

The Heritage of Kazimierz Ajdukiewicz

目录

统计数据

统计数据