Using Tableaux to Automate the Lambek and Other Categorial Calculi.

Saturnino F. Luz-Filho

Published in: Inf. Comput. (2000)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
decision procedures
functional dependencies
neural network
temporal logic
reasoning problems
linear logic
artificial intelligence
database systems
control system
inference rules