On structural completeness of implicational logics.

Published in: Stud Logica (1991)

Keyphrases

database systems
expressive power
modal logic
structural analysis
structural information
inference rules
classical logic
nonmonotonic logics
knowledge base
search algorithm
expert systems
data quality
structural features