Unique perfect matchings, edge-colored graphs and proof nets for linear logic with Mix.
Lê Thành Dung NguyênPublished in: CoRR (2019)
Keyphrases
- linear logic
- weighted graph
- undirected graph
- proof search
- maximum cardinality
- fixed point
- proof theoretic
- cut elimination
- desirable properties
- logic programming
- bipartite graph
- edge detection
- sequent calculus
- edge weights
- logical framework
- intuitionistic logic
- directed graph
- natural deduction
- general purpose
- graph structure
- probabilistic model
- qualitative and quantitative
- artificial intelligence