Intuitionistic Validity in T-Normal Kripke Structures.

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

learning algorithm
image processing
expert systems
fuzzy numbers
genetic algorithm
information systems
model checking
modal logic
inference rules
fuzzy set theory
linear logic