On some connections between logic and category theory.
Joachim LambekPublished in: Stud Logica (1989)
Keyphrases
- formal theory
- computer algebra
- deductive reasoning
- neural network
- proof theory
- commonsense reasoning
- set theory
- probability theory
- logical framework
- theoretical basis
- real time
- general theory
- theoretical framework
- mathematical theory
- logic programming
- formal logic
- belief functions
- automated reasoning
- causal reasoning
- computational model
- description logics
- boolean algebra
- information systems
- databases