Introduction to Categories and Categorical Logic
Samson AbramskyNikos TzevelekosPublished in: CoRR (2011)
Keyphrases
- modal logic
- categorical data
- classical logic
- multi valued
- information retrieval
- proof theory
- predicate logic
- automated reasoning
- logic programming
- clustering algorithm
- object categories
- attribute values
- computational properties
- website
- asynchronous circuits
- machine learning
- broad categories
- sound and complete axiomatization