Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'.
Josep Maria FontPublished in: Log. J. IGPL (1999)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- fuzzy sets
- logic programs
- first order logic
- multi valued
- truth values
- automated reasoning
- logic programming
- datalog programs
- expert systems
- real time
- knowledge representation
- database
- belief revision
- pattern recognition
- answer set programming
- theorem proving
- knowledge base