Erratum to: A substructural logic for layered graphs.
Matthew CollinsonKevin McDonaldSimon DochertyDavid J. PymPublished in: J. Log. Comput. (2017)
Keyphrases
- propositional calculus
- logic programming
- modal logic
- classical logic
- predicate logic
- fully connected
- multi valued
- graph theoretic
- directed graph
- graph theory
- graph matching
- database
- logical formulas
- graph representation
- computational properties
- relational structures
- image segmentation
- series parallel
- deontic logic
- asynchronous circuits
- structured objects
- social networks