|CTI Textual Studies||
Guide to Digital Resources 1996-98
|Table of Contents|
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: firstname.lastname@example.org
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
The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/m115.html