Lattice BCK logics with Modus Ponens as unique rule.

Joan Gispert Antoni Torrens

Published in: Math. Log. Q. (2014)

Keyphrases

modus ponens
decision rules
rule sets
expressive power
modal logic
association rules
databases
neural network
classification rules
concept lattice
lattice structure
distributive lattices
artificial intelligence
rough set theory
rule induction