Structured derivations: a unified proof style for teaching mathematics

DOI10.1007/s00165-009-0136-5zbMath1217.03043OpenAlexW2031462151MaRDI QIDQ607406

Ralph-Johan Back

Publication date: 22 November 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0136-5

zbMATH Keywords

sequent calculusDijkstra's calculational proofsGentzen-style proofshigh-school mathematicsHilbert-style proofsproof formatproof stylesstructured derivationsteaching mathematics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) Proof theory in general (including proof-theoretic semantics) (03F03) Reasoning and proving in the mathematics classroom (97E50) Language of mathematics (educational aspects) (97E40)

Related Items

Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}

Uses Software

• PVS
• Yices
• Isar
• SIMPLIFY
• HOL

Cites Work

• A calculus of refinements for program derivations
• Structured calculational proof
• EWD1300: The notational conventions I adopted, and why
• On equivalents of well-foundedness. An experiment in MIZAR
• Simplify: a theorem prover for program checking
• How to Write a Proof
• Teaching Math More Effectively, Through Calculational Proofs
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item