The Complete Axiomatisation of any Many-Valued Propositional Logic.

John Williamson

Published in: Math. Log. Q. (1976)

Keyphrases

propositional logic
modal logic
propositional variables
first order logic
belief revision
inference rules
davis putnam
lattice theory
possibilistic logic
functional dependencies
temporal logic
quantified boolean formulae
satisfiability testing
belief change
truth values
fuzzy sets
domain knowledge
machine learning