Lukasiewicz semantic MV-topology for MV-algebra and its application to Lukasiewicz propositional logic.

Li Zhou Jialu Zhang

Published in: J. Intell. Fuzzy Syst. (2017)

Keyphrases

propositional logic
modal logic
first order logic
truth values
belief revision
valued logic
davis putnam
lattice theory
possibilistic logic
natural language
quantified boolean formulae
relational algebra
semantic web
domain knowledge
semantic network
machine learning
inference rules
propositional satisfiability