Implicational (semilinear) logics III: completeness properties.

Petr Cintula Carles Noguera

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

Keyphrases

inference rules
expressive power
neural network
expert systems
desirable properties
data sets
artificial intelligence
database
databases
machine learning
knowledge base
probability distribution
higher order