On Canonical Implicational Systems ?

@inproceedings{BonacinaOnCI,
  title={On Canonical Implicational Systems ?},
  author={Maria Paola Bonacina and Nachum Dershowitz}
}
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries. We investigate what it means to be canonical for implicational systems that are axiomatizations of Moore families – or propositional Horn theories. We build a correspondence… CONTINUE READING