- From: Dan Connolly <connolly@w3.org>
- Date: 12 Dec 2001 00:12:42 -0600
- To: "Smith, Ned" <ned.smith@intel.com>
- Cc: www-rdf-logic@w3.org
On Thu, 2001-11-29 at 14:12, Smith, Ned wrote: > I'd like to find good concise tutorial material for > logic & proof disciplines. I learned a lot about the mechanics of proofs by studying larch; esp. the Larch FAQ by Leavens. I collected my larch sources a while back in preparation for presenting some of my larch work to some colleagues: ------ http://www.w3.org/XML/9711theory/#about-larch About Larch and LSL learning LSL: Report on the Larch Shared Language: Version 2.3 John V. Guttag, Jim Horning, and Andrés Modet. (April, 1990). studying larch and related technologies Larch FAQ by Gary T. Leavens especially section 2 The Larch Shared Language (LSL) comp.specification.larch thanks to Phil Baraona and Gary T. Leavens: Finally! I finished my first proof in LP! my post of 03 Mar 1998, dejacopy reference materials for using Larch tools Larch Shared Language Handbook LP: Command summary larch origins Larch home page ---- I think the full text of the larch book is available online too... yes: http://www.sds.lcs.mit.edu/Larch/pub/larchBook.ps If you're more interested in sort of motivation for doing logic/proof on a large scale, see The QED Manifesto http://www.rbjones.com/rbjpub/logic/qedres00.htm -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 12 December 2001 01:12:44 UTC