Empty Carriers: The Categorical Burden on Logic.

Published in: Categorial Methods in Computer Science (1988)

Keyphrases

logic programming
categorical data
deontic logic
automated reasoning
predicate logic
proof theory
numerical values
multi valued
classical logic
set theory
deductive reasoning
data mining
modal logic
temporal logic
multi agent systems
website
information systems