非可换线性逻辑及其Quantale语义

被引：15

作者：

李永明

机构：

[1] 陕西师范大学数学系!陕西西安

来源：

关键词：

非可换线性逻辑; 对偶quantale; 语义;

D O I：

10.15983/j.cnki.jsnu.2001.02.001

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

070104 ; 010104 ; 010105 ;

摘要：

扩充了V .M .Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 .

引用

页码：1 / 5

页数：5

共 6 条

[1] 线性逻辑相空间的分层结构 [J].

黄且圆 ;

王驹 .

[2]

Quantales and commutative linear logic. Yetter D N. Journal of Symbolic Logic . 1990

[3]

Phase semantics and sequent calculus for pure noncommutative classical linear proposition logic. Abrusci V M. Journal of Symbolic Logic . 1990

[4]

Linear logic. Girard J Y. Theoretical Computer Science . 1987

[5]

Quantales and their applications. Rosenthal K. . 1990

[6] 对偶Quantale及其性质 [J].

李永明 .