摘要
扩充了V .M .Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 .
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.
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2001年第2期1-5,共5页
Journal of Shaanxi Normal University:Natural Science Edition
基金
国家自然科学基金!资助项目 ( 1990 10 2 8)