Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories.

Published in: Math. Syst. Theory (1968)

Keyphrases

multimedia
data sets
machine learning
social networks
genetic algorithm
natural language
expert systems
relational databases
probabilistic model
distributed systems
intelligent systems
computer systems
building blocks
semantic representation