MacLogic

Description: MacLogic aims to help students learn how to check and to construct proofs for first-order logic, including classical, intuitionistic, or minimal, with or without equality, and with or without rules for modal logics S4 and S5. It has two modes, both based on Gentzen's work in 1935; 'Check' mode allows a natural deduction proof to be checked as it is entered; 'Construct' mode allows the interactive construction of a sequent calculus proof. Proved theorems can be saved for later use, and Problem Libraries can be built up, edited, saved, and re-loaded. A wide range of logical symbols is available in the specially adapted fonts supplied.

Requirements: Macintosh running System 7.0 or above with at least 6 MB RAM.

Further information: demonstration versions and more information at http://www-theory.dcs.st-and.ac.uk/~rd/logic/soft.html

Distributor: Dr Roy Dyckhoff, Computer Science Division, University of St Andrews, Fife, KY16 9SS, UK. Email: rd@dcs.st-and.ac.uk

Price: £25 (single-user); £75 (site licence for UK academic institutions).

Version available at CTI Centre: MacLogic 2.0. (Demo).

[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]

Guide to Digital Resources 1996-98. Not to be republished in any form without the permission of CTI Textual Studies.

HTML Author: Sarah Porter
Document Created: 21 March 1997
Document Modified:

The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/m115.html