A substructural logic for layered graphs.
Matthew CollinsonKevin McDonaldDavid J. PymPublished in: J. Log. Comput. (2014)
Keyphrases
- propositional calculus
- modal logic
- graph theoretic
- fully connected
- logic programming
- graph matching
- graph structure
- graph mining
- classical logic
- graph representation
- multi valued
- series parallel
- pairwise
- graph model
- bipartite graph
- automated reasoning
- graph partitioning
- graph clustering
- logical framework
- complex structures
- defeasible logic
- set theory
- relational structures
- directed graph
- predicate logic