Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective.

Published in: Reports Math. Log. (2010)

Keyphrases

modal logic
inference rules
pairwise
expressive power
data sets
higher level
predicate logic
databases
information retrieval
decision trees
multi agent systems
truth values