A correspondence between implicational fragment logics and fuzzy logics.

Mayuka F. Kawaguchi Michiro Kondo

Published in: GrC (2014)

Keyphrases

expressive power
modal logic
propositional calculus
fuzzy rules
inference rules
nonmonotonic logics
fuzzy sets
classical logic
neural network
valued logic
propositional dynamic logic
proof procedures
proof theory
fuzzy systems
fuzzy controller
membership functions
fuzzy logic
evolutionary algorithm
expert systems