A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.
Beata KonikowskaPublished in: Stud Logica (1990)
Keyphrases
- valued logic
- propositional logic
- classical logic
- nonmonotonic logics
- modal logic
- fuzzy sets
- truth values
- automated reasoning
- first order logic
- multi valued
- logic programming
- belief revision
- fuzzy logic
- default logic
- temporal logic
- machine learning
- regular expressions
- general purpose
- control system
- artificial neural networks
- relational databases
- image sequences
- database systems