Sciweavers

Share
CADE
2008
Springer

Canonical Inference for Implicational Systems

9 years 6 days ago
Canonical Inference for Implicational Systems
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 canonicity means for implicational systems that are axiomatizations of Moore families
Maria Paola Bonacina, Nachum Dershowitz
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CADE
Authors Maria Paola Bonacina, Nachum Dershowitz
Comments (0)
books