A study of algebraic logic from the point of view of category theory.

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

theoretical framework
artificial intelligence
databases
theoretical foundation
computer algebra
data mining
statistical analysis
computational model
modal logic
formal theory
bounded rationality
algebraic geometry