New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Bart JacobsPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- quantum computation
- probabilistic logic
- probability theory
- logic programming
- modal logic
- categorical data
- multi valued
- logical inference
- generative model
- classical logic
- proof theory
- horn logic
- information systems
- linear temporal logic
- linear logic
- defeasible logic
- probabilistic model
- evolutionary algorithm
- association rules