Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 953-988 |
Number of pages | 36 |
Journal | Journal of Logic and Computation |
Volume | 24 |
Issue number | 4 |
Early online date | 18 Feb 2014 |
DOIs | |
Publication status | Published - Aug 2014 |
Keywords
- substructural logic
- semantics
- proof theory
- graphs
- layers
- complex systems
- modelling
Fingerprint
Dive into the research topics of 'A substructural logic for layered graphs'. Together they form a unique fingerprint.Profiles
-
Matthew Collinson
- School of Natural & Computing Sciences, Computing Science - Senior Lecturer
- Cybersecurity and Privacy
Person: Academic