Completion Is an Instance of Abstract Canonical System Inference

DOI10.1007/11780274_26MaRDI QIDQ5757934zbMATH OpenOpenAlexFDO

Authors Guillaume Burel, Claude Kirchner

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00000775v2/file/bk4jag-final.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• Abstract completion, formalized
• Completion from an abstract perspective
• The predicate completion of a partial information system
• scientific article; zbMATH DE number 1670774
• On the completeness of compositional reasoning methods
• A New and Formalized Proof of Abstract Completion
• Observational completeness on abstract interpretation
• Observational Completeness on Abstract Interpretation
• Canonical Inference for Implicational Systems
• scientific article; zbMATH DE number 1759249

Cited in

(8)

• Regaining cut admissibility in deduction modulo using abstract completion
• Abstract canonical presentations
• Canonicity!
• Canonical Inference for Implicational Systems
• Canonical ground Horn theories
• scientific article; zbMATH DE number 7204438 (Why is no real title available?)
• Abstract completion, formalized
• Abstract canonical inference

This page was built for publication: Completion Is an Instance of Abstract Canonical System Inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757934)