Remarks on a survey article on many valued logic by A. Urquhart.
Andrzej WronskiPublished in: Stud Logica (1987)
Keyphrases
- modal logic
- truth values
- multi valued
- classical logic
- automated reasoning
- sound and complete axiomatization
- databases
- temporal logic
- neural network
- logic programming
- rough sets
- data model
- probabilistic logic
- conceptual clustering
- relational databases
- computational properties
- nonmonotonic logics
- multi agent
- aggregation functions