Rational Pavelka logic: the best among three worlds?

Zuzana Haniková

Published in: CoRR (2021)

Keyphrases

modal logic
classical logic
logic programming
predicate logic
multi valued
automated reasoning
deontic logic
asynchronous circuits
information systems
decision trees
case study
image sequences
probabilistic logic
logical framework
set theory
truth values