Protoalgebraic Gentzen Systems and the Cut Rule.

Àngel J. Gil Jordi Rebagliato

Published in: Stud Logica (2000)

Keyphrases

rule induction
rough sets
classification rules
management system
neural network
learning systems
relational databases
real time
digital libraries
lower bound
mobile devices
information retrieval systems
intelligent systems
complex systems