Login / Signup
On structural completeness of implicational logics.
Piotr Wojtylak
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