Gentzenization and decidability of some contraction-less relevant logics.

Published in: J. Philos. Log. (1991)

Keyphrases

description logics
decision procedures
modal logic
expressive power
data mining
inference rules
query answering
real time
data management
horn logic
number restrictions
higher level
multi agent systems
case study
genetic algorithm
neural network
databases
data sets