Bilattice logic properly displayed.

Giuseppe Greco Fei Liang Alessandra Palmigiano Umberto Rivieccio

Published in: Fuzzy Sets Syst. (2019)

Keyphrases

truth values
multi valued
inference rules
fixpoint
logic programming
default logic
machine learning
probability distribution
modal logic
automated reasoning
artificial intelligence
deductive databases
boolean functions
predicate logic
proof theory