On triangular norm based axiomatic extensions of the weak nilpotent minimum logic.

Carles Noguera Francesc Esteva Joan Gispert

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

Keyphrases

normative systems
set theory
order sorted
knowledge representation formalisms
logic programming
multi agent systems
automated reasoning
modal logic
classical logic
default logic
predicate logic
proof theory
delay insensitive
artificial intelligence
decision theory
efficient implementation
square grid