Three new genuine five-valued logics.

Mauricio Osorio Claudia Zepeda

Published in: LANMR (2019)

Keyphrases

valued logic
classical logic
datalog programs
propositional logic
fuzzy sets
fuzzy logic
logic programs
multi valued
first order logic
truth values
stable models
logic programming
automated reasoning
xml documents
knowledge representation
integrity constraints