The Lambek calculus enriched with additional connectives.

Makoto Kanazawa

Published in: J. Log. Lang. Inf. (1992)

Keyphrases

sequent calculus
inference rules
database
information retrieval
face recognition
natural deduction
automated deduction
probabilistic model
expert systems
multi agent systems
search algorithm
web services
information systems
data mining
neural network
data sets
real time