Resource modalities in tensor logic.
Paul-André MellièsNicolas TabareauPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- high order
- logic programming
- resource allocation
- multi valued
- web resources
- predicate logic
- resource management
- higher order
- proof theory
- tensor decomposition
- resource constraints
- classical logic
- asynchronous circuits
- digital circuits
- knowledge base
- tensor product
- truth values
- sound and complete axiomatization
- set theory
- defeasible logic
- logical framework
- diffusion tensor
- visual data
- modal logic