Gödel logics with an operator shifting truth values.

Matthias Baaz Oliver Fasching

Published in: LPAR short papers(Yogyakarta) (2010)

Keyphrases

truth values
valued logic
inference rules
boolean logic
multi valued
fixpoint
linearly ordered
lattice structure
classical logic
propositional logic
modal logic
machine learning
databases
fuzzy sets
fuzzy logic
image sequences
update semantics
database