On Presenting Monotonicity and On EA=>AE

Gries, David

dc.contributor.author	Gries, David	en_US
dc.date.accessioned	2007-04-23T18:02:11Z
dc.date.available	2007-04-23T18:02:11Z
dc.date.issued	1995-04	en_US
dc.identifier.citation	http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1512	en_US
dc.identifier.uri	https://hdl.handle.net/1813/7169
dc.description.abstract	Two independent topics are treated. First, the problem of weakening/strengthening steps in calculational proofs is discussed and a form of substantiating such steps is proposed. Second, a simple proof of (Ex\| R.x: (Ay\| S.y: P.x.y)) greater than or equal to (Ay\| S.y: (Ex\| R.x: P.x.y)) is presented, which uses the idea of a witness for an existnetial quantification.	en_US
dc.format.extent	104217 bytes
dc.format.extent	70922 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	application/postscript
dc.language.iso	en_US	en_US
dc.publisher	Cornell University	en_US
dc.subject	computer science	en_US
dc.subject	technical report	en_US
dc.title	On Presenting Monotonicity and On EA=>AE	en_US
dc.type	technical report	en_US