scientific article; zbMATH DE number 1107623

MaRDI QIDQ4373558zbMATH OpenFDO

Authors Martin Simons, Michel Sintzoff

Publication date 16 February 1998

zbMATH Keywords

algebraic calculus for proof composition and refinement

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 1024410
• Algebraic proofs of consistency and completeness
• Proof systems for structured algebraic specifications: An overview
• Proof assistance for refinement in type theory
• A calculus for conditional inductive theorem proving

Cited in

(7)

• Computation calculus bridging a formalization gap
• Recursive proof composition from accumulation schemes
• Proof assistance for refinement in type theory
• Real Algebraic Strategies for MetiTarski Proofs
• scientific article; zbMATH DE number 1210363 (Why is no real title available?)
• scientific article; zbMATH DE number 1024410 (Why is no real title available?)
• Explicit Composition and Its Application in Proofs of Normalization

This page was built for publication:

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