Axiomatizing Category Theory in Free Logic.
Christoph BenzmüllerDana S. ScottPublished in: CoRR (2016)
Keyphrases
- formal theory
- computer algebra
- logic programming
- proof theory
- asynchronous circuits
- probability theory
- classical logic
- mathematical theory
- information retrieval
- deductive reasoning
- boolean algebra
- logical framework
- general theory
- proof theoretic
- commonsense reasoning
- modal operators
- information theory
- data sets
- modal logic
- theoretical framework
- programming language
- formal logic
- computer vision
- machine learning