The logic of distributive nearlattices.

Luciano J. González

Published in: Soft Comput. (2018)

Keyphrases

logic programming
automated reasoning
classical logic
modal logic
neural network
defeasible logic
data structure
abductive reasoning
dynamic logic
artificial neural networks
case study
information systems
social networks
data mining
database
set theory
nonmonotonic logics
predicate logic
propositional dynamic logic