Revisiting four-valued logics from Maple using the Logics Explorer package.
Eugenio Roanes-LozanoJosé-Antonio AlonsoAntonio HernandoPublished in: Math. Comput. Simul. (2014)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy sets
- first order logic
- fuzzy logic
- truth values
- multi valued
- web browser
- automated reasoning
- logic programs
- datalog programs
- modal logic
- computational intelligence
- logic programming
- expressive power
- probability distribution
- relational databases
- control system
- rough sets
- software engineering
- data model