Structured calculational proof

DOI10.1007/BF01211456zbMath0905.68139MaRDI QIDQ1267033

Jim Grundy, Joakim von Wright, Ralph-Johan Back

Publication date: 11 January 1999

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

zbMATH Keywords

structured calculational proof

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items

From Boolean algebra to unified algebra ⋮ Structured derivations: a unified proof style for teaching mathematics

Cites Work

• The generic development language. Presentation and case studies
• A deficiency of natural deduction
• On the shape of mathematical arguments
• Untersuchungen über das logische Schliessen. I
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• Refinement Calculus
• How to Write a Proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item