Propositional Logic as a Propositional Fuzzy Logic.
Benjamín René Callejas BedregalAnderson Paiva CruzPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- propositional logic
- fuzzy logic
- belief revision
- first order logic
- expert systems
- fuzzy sets
- satisfiability testing
- computational intelligence
- fuzzy set theory
- control system
- quantified boolean formulae
- genetic algorithm
- proof procedure
- decision making
- rough sets
- propositional satisfiability
- davis putnam
- possibilistic logic
- lattice theory
- artificial intelligence
- valued logic
- propositional variables
- belief change
- search algorithm