Keyphrases
- classical logic
- linear logic
- graph representation
- cut elimination
- logic programming
- natural deduction
- fully connected
- graph theoretic
- weighted graph
- graph structure
- logical framework
- theorem prover
- graph mining
- graph theory
- automated reasoning
- directed acyclic graph
- multi valued
- proof theory
- graph construction
- graph based algorithm
- sequent calculus
- fuzzy set theory
- dependency graph
- graph structures
- graph partitioning
- graph matching
- directed graph
- connected components
- structured data