Categorical abstract algebraic logic: The largest theory system included in a theory family.

George Voutsadakis

Published in: Math. Log. Q. (2006)

Keyphrases

formal theory
computer algebra
databases
theoretical framework
computational model
data mining
theoretical basis
neural network
real time
high level
special case
low level
information theory
decision theory
probability theory
general theory
deductive reasoning