On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics.
Silvio GhilardiPierangelo MiglioliPublished in: Stud Logica (1999)
Keyphrases
- expressive power
- default logic
- first order logic
- sufficient conditions
- propositional variables
- multi valued
- propositional logic
- classical first order logic
- linearly ordered
- data quality
- artificial intelligence
- data sets
- logic programming
- search algorithm
- knowledge base
- genetic algorithm
- machine learning
- classical logic
- nonmonotonic logics
- neural network
- propositional calculus
- real time