Login / Signup
On the extension of classical propositional logic by means of a triangular norm.
Gert de Cooman
Etienne E. Kerre
Bart Cappelle
Da Ruan
F. Vanmassenhove
Published in:
Int. J. Intell. Syst. (1990)
Keyphrases
</>
propositional logic
horn logic
belief revision
first order logic
valued logic
quantified boolean formulae
belief change
lattice theory
satisfiability testing
possibilistic logic
propositional satisfiability
davis putnam
truth maintenance systems
minimal models
domain knowledge
nonmonotonic reasoning
logic programs