Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.

Petr Cintula Carles Noguera

Published in: Arch. Math. Log. (2016)

Keyphrases

inference rules
expressive power
truth values
modal logic
data sets
decision making
classical logic
valued logic
databases
expert systems