Quantification over Undefined Truth Values.

Martina Danková

Published in: IPMU (3) (2018)

Keyphrases

truth values
inference rules
boolean logic
multi valued
fixpoint
lattice structure
valued logic
data management