A Necessary and Sufficient Condition for Lukasiewicz Logic Functions.

Noboru Takagi Kyoichi Nakashima Masao Mukaidono

Published in: ISMVL (1996)

Keyphrases

sufficient conditions
modal logic
truth values
multi valued
asymptotic stability
exponential stability
fixed point
linear systems
lyapunov function
temporal logic
linear complementarity problem
efficiently computable
image segmentation
feature space
inference rules
digital straight lines