A Cut-Free Calculus For Dummett's LC Quantified.

Published in: Math. Log. Q. (1989)

Keyphrases

neural network
automated deduction
computer algebra
databases
data mining
decision making
multimedia
decision trees
multi agent
description logics
first order logic