Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Structured calculational proof

Black, Ralph; Grundy, Jim; von Wright, Joakim

Description

We propose a new format for writing proofs, which we call structured calculational proof. The format is similar to the calculational style of proof already familiar to many computer scientists, but extends it by allowing large proofs to be hierarchically decomposed into smaller ones. In fact, structured calculational proof can be seen as an alternative presentation of natural deduction. Natural deduction is a well established style of reasoning which uses hierarchical decomposition to great...[Show more]

CollectionsANU Research Publications
Date published: 1996
Type: Working/Technical Paper
URI: http://hdl.handle.net/1885/40761
http://digitalcollections.anu.edu.au/handle/1885/40761

Download

File Description SizeFormat Image
TR-CS-96-09.pdf117.6 kBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator