Hyperresolution for Gödel logic with truth constants.

Published in: Fuzzy Sets Syst. (2019)

Keyphrases

valued logic
truth values
classical logic
multi valued
propositional logic
logic programming
first order logic
modal logic
computational properties
data sets
fuzzy logic
inference rules
probabilistic logic
relational databases
formal language
multiscale
formal theory
epistemic logic
database systems