Concurrent constraint programming and non-commutative logic

被引：0

作者：

Ruet, P ^{[1
]}

Fages, F ^{[1
]}

机构：

[1] Ecole Normale Super, CNRS, LIENS, F-75005 Paris, France

来源：

COMPUTER SCIENCE LOGIC | 1998年 / 1414卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents a connection between the intuitionistic tic fragment of a non-commutative version of linear logic introduced by the first author (NLI) and concurrent constraint programming (CC). We refine existing logical characterizations of operational aspects of CC, by providing a logical interpretation of finer observable properties of CC programs, namely stores, successes and suspensions.

引用

页码：406 / 423

页数：18

共 50 条

[1] Non-commutative Logic and Concurrent Constraint Programming
Ruet, P.
Bulletin of the European Association for Theoretical Computer Science, (64):
[2] Dynamic non-commutative logic
Kamide N.
Journal of Logic, Language and Information, 2010, 19 (1) : 33 - 51
[3] Modules in non-commutative logic
Abrusci, VM
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 14 - 24
[4] Non-commutative Łukasiewicz propositional logic
Ioana Leuştean
Archive for Mathematical Logic, 2006, 45 : 191 - 213
[5] Non-commutative Lukasiewicz propositional logic
Leustean, I
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (02) : 191 - 213
[6] On non-commutative fuzzy logic structures
Zhang, Xiao-Hong
Proceedings of 2006 International Conference on Machine Learning and Cybernetics, Vols 1-7, 2006, : 1867 - 1871
[7] Relations and non-commutative linear logic
Brown, C
Gurr, D
JOURNAL OF PURE AND APPLIED ALGEBRA, 1995, 105 (02) : 117 - 136
[8] Observations on non-commutative fuzzy logic
Hájek, P
SOFT COMPUTING, 2003, 8 (01) : 38 - 43
[9] Observations on non-commutative fuzzy logic
P. Hájek
Soft Computing, 2003, 8 : 38 - 43
[10] Quantum logic and Non-Commutative Geometry
Marchetti, P. A.
Rubele, R.
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2007, 46 (01) : 51 - 64

← 1 2 3 4 5 →