| 非可换线性逻辑及其Quantale语义 |
| |
| 引用本文： | 李永明.非可换线性逻辑及其Quantale语义[J].陕西师范大学学报,2001,29(2):1-5. |
| |
| 作者姓名： | 李永明 |
| |
| 作者单位： | 李永明（陕西师范大学数学系,陕西西安 710062） |
| |
| 基金项目： | 国家自然科学基金资助项目(19901028) |
| |
| 摘 要： | 扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。
|
| 关 键 词： | 非可换线性逻辑 对偶quantale 语义 |
| 文章编号： | 1001-3857(2001)02-0001-05 |
| 修稿时间： | 2000年12月5日 |
Noncommutative linear logic and its Quantale semantics |
| |
| LI Yong-ming.Noncommutative linear logic and its Quantale semantics[J].Journal of Shaanxi Normal University: Nat Sci Ed,2001,29(2):1-5. |
| |
| Authors: | LI Yong-ming |
| |
| Abstract: | The system of noncommutative linear logic defined by V.M. Amusci is extended to contain intuitive logic, commutative logic and cyclic linear logic as special cases. The semantics of this logic in showing its soundness and completeness by dual quantales is given. |
| |
| Keywords: | noncommutative linear logic dual quantale semantics |
| 本文献已被 CNKI 维普 等数据库收录！ |
