Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.

Published in: J. Symb. Log. (1996)

Keyphrases

modal logic
highly reliable
database
metadata
real time
real world
data mining
machine learning
decision making
image sequences
expert systems
inference rules