A Logic for Category Theory.
Paul C. GilmoreGeorge K. TsiknisPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- formal theory
- computational model
- set theory
- proof theory
- logic programming
- theoretical framework
- computer algebra
- theoretical basis
- commonsense reasoning
- data sets
- computer vision
- probability theory
- logical framework
- proof theoretic
- deductive reasoning
- algebraic structure
- asynchronous circuits
- digital circuits
- modal logic
- case study
- search engine