W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

Re: Logic and proof tutorial resources

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
Message-Id: <1008137563.6439.0.camel@shoal>
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:

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)
 thanks to Phil Baraona and Gary T. Leavens: 
Finally! I finished my first proof in LP! my post of 03 Mar 1998,

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...

If you're more interested in sort of motivation for
doing logic/proof on a large scale, see

The QED Manifesto

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 12 December 2001 01:12:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC