Categorial Combinatory Logic.

Pierre-Louis Curien

Published in: ICALP (1985)

Keyphrases

logic programming
modal logic
real time
predicate logic
multi valued
defeasible logic
data mining
knowledge base
website
case study
database systems
search algorithm
classical logic
nonmonotonic logics
formal theory
dynamic logic