Categorical abstract algebraic logic: The categorical Suszko operator.

George Voutsadakis

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

Keyphrases

categorical data
logic programming
real time
high level
attribute values
computer algebra
data sets
learning algorithm
website
case study
low level
numerical data
classical logic
set theoretic