Fuzzy Logics and Sub-structural Logics without Exchange.
Mayuka F. KawaguchiOsamu WatariMasaaki MiyakoshiPublished in: EUSFLAT Conf. (2005)
Keyphrases
- expressive power
- modal logic
- propositional calculus
- classical logic
- fuzzy rules
- neural network
- nonmonotonic logics
- structural information
- fuzzy logic
- propositional dynamic logic
- database
- soft computing
- inference rules
- fuzzy set theory
- genetic algorithm
- conditional logic
- valued logic
- proof theory
- truth values
- order sorted
- computational properties
- nonmonotonic reasoning
- fuzzy systems
- expert systems
- case study
- learning algorithm