A Categorial Type Logic.

Published in: Categories and Types in Logic, Language, and Physics (2014)

Keyphrases

databases
decision making
logic programming
database
search engine
expert systems
artificial neural networks
modal logic
multiple types
probability theory
classical logic
computational properties