A substructural logic for layered graphs
A substructural logic for layered graphs
复制标题
分层图的子结构逻辑
DOI：
10.1093/logcom/exu002
复制
发表时间：
2014
影响因子：
0.7
通讯作者：
Collinson M
中科院分区：
文献类型：
--
作者：
Collinson M
复杂系统，无论是天然的还是合成的，都是无处不在的。特别是，复杂的设备和服务网络支撑着社会的大部分运作。就其本质而言，这种系统很难有效地概念化和推理。分层的概念在复杂系统中广泛存在，但尚未从概念上加以考虑。注意到图是描述复杂系统的关键形式主义，我们建立了分层图的概念。我们提供了一个逻辑特性的分层使用非关联，非交换的子结构，分离逻辑的概念。我们提供了一类代数模型，包括分层图，这给了一个数学上的大量语义，这个非常弱的逻辑的合理性和完整性的结果。我们解释，通过例子，在信息处理和安全的应用。
Complex systems, be they natural or synthetic, are ubiquitous. In particular, complex networks of devices and services underpin most of society's operations. By their very nature, such systems are difficult to conceptualize and reason about effectively. The concept of layering is widespread in complex systems, but has not been considered conceptually. Noting that graphs are a key formalism in the description of complex systems, we establish a notion of a layered graph. We provide a logical characterization of this notion of layering using a non-associative, non-commutative substructural, separating logic. We provide soundness and completeness results for a class of algebraic models that includes layered graphs, which give a mathematically substantial semantics to this very weak logic. We explain, via examples, applications in information processing and security.
登录
查看更多内容
影响因子：
0.5
作者：
Galmiche, D;Méry, D;Pym, D
通讯作者：
Pym, D
序列系统和群群模型。
影响因子：
0.7
作者：
K. Dosen
通讯作者：
K. Dosen
DOI：
10.1109/sfcs.1991.185381
发表时间：
1991
期刊：
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
影响因子：
--
作者：
A. Fiat;Dean Phillips Foster;H. Karloff;Y. Rabani;Yiftach Ravid;S. Vishwanathan
通讯作者：
S. Vishwanathan
DOI：
--
发表时间：
1969
期刊：
影响因子：
--
作者：
J. Lambek
通讯作者：
J. Lambek
一元二阶逻辑中图性质和图变换的表达
DOI：
10.1142/9789812384720_0005
发表时间：
1997
期刊：
Proceedings of the 2017 ACM International Conference on Management of Data
影响因子：
--
作者：
B. Courcelle
通讯作者：
B. Courcelle