A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic.
Misao NagayamaMitsuhiro OkadaPublished in: Electron. Notes Theor. Comput. Sci. (1996)
Keyphrases
- graph theoretic
- linear logic
- intuitionistic logic
- graph theory
- cut elimination
- fixed point
- proof theoretic
- sequent calculus
- desirable properties
- hamiltonian path
- random graphs
- logic programming
- logical framework
- graph properties
- bayesian network structure learning
- situation calculus
- software engineering
- maximum independent set