Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic.

Luigi Di Lascio

Published in: SEKE (2002)

Keyphrases

modal logic
computer systems
fuzzy sets
complex systems
association rules
genetic algorithm
rule generation
distributed systems
management system
expert systems
decision making
image segmentation
membership functions
active rules
neural network
nonmonotonic logics
digital circuits
rewrite systems