Axiom Systems for Category Theory in Free Logic.
Christoph BenzmüllerDana S. ScottPublished in: Arch. Formal Proofs (2018)
Keyphrases
- formal theory
- artificial intelligence
- formal methods
- complex systems
- expert systems
- management system
- intelligent systems
- building blocks
- modal logic
- retrieval systems
- rewrite systems
- database
- computer algebra
- set theory
- classical logic
- theoretical framework
- computer systems
- distributed systems
- computer vision
- information retrieval
- data mining
- real time