On calculational proofs

DOI10.1016/S0168-0072(01)00059-8zbMath0992.03069MaRDI QIDQ5957914

Vladimir Lifschitz

Publication date: 13 March 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

predicate logiccalculational proofproof treesequence of calculations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Related Items (3)

An elementary and unified approach to program correctness ⋮ The Formal System of Dijkstra and Scholten ⋮ On the desirability of mechanizing calculational proofs

Uses Software

• CalcCheck

Cites Work

• Equational propositional logic
• Dijkstra-Scholten predicate calculus: Concepts and misconceptions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On calculational proofs