HpsUL is not the logic of pseudo-uninorms and their residua.

San-Min Wang Bin Zhao

Published in: Log. J. IGPL (2009)

Keyphrases

logic programming
modal logic
classical logic
sound and complete axiomatization
data sets
information retrieval
automated reasoning
multi valued
predicate logic
machine learning
search algorithm
expressive power
defeasible logic
nonmonotonic logics
asynchronous circuits
pseudo random number