isabelle: src/Sequents/README.html@f21466450330 (annotated)

15283 f21466450330 DOCTYPE declaration added webertj parents: 5383 diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
f21466450330 DOCTYPE declaration added webertj parents: 5383 diff changeset	2
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	3	<!-- $Id$ -->
3279 815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	4	<HTML><HEAD><TITLE>Sequents/README</TITLE></HEAD><BODY>
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	5
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	6	<H2>Sequents: Various Sequent Calculi</H2>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	7
3279 815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	8	This directory contains the ML sources of the Isabelle system for
815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	9	various Sequent, Linear, and Modal Logic.<p>
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	10
3279 815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	11	The subdirectories <tt>ex</tt>, <tt>ex/LK</tt>, <tt>ex/ILL</tt>,
815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	12	<tt>ex/Modal</tt> contain some examples.<p>
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	13
3279 815ef5848324 tuned all READMEs; wenzelm parents: 2073 diff changeset	14	Much of the work in Modal logic was done by Martin Coen. Thanks to
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	15	Rajeev Gore' for supplying the inference system for S43. Sara Kalvala
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	16	reorganized the files and supplied Linear Logic. Jacob Frost provided
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	17	some improvements to the syntax of sequents.
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	18
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	19	<P>Useful references on sequent calculi:
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	20
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	21	<UL>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	22	<LI>Steve Reeves and Michael Clarke,<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	23	Logic for Computer Science (Addison-Wesley, 1990)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	24	<LI>G. Takeuti,<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	25	Proof Theory (North Holland, 1987)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	26	</UL>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	27
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	28	Useful references on Modal Logics:
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	29	<UL>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	30	<LI>Melvin C Fitting,<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	31	Proof Methods for Modal and Intuitionistic Logics (Reidel, 1983)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	32
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	33	<LI>Lincoln A. Wallen,<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	34	Automated Deduction in Nonclassical Logics (MIT Press, 1990)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	35	</UL>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	36
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	37	Useful references on Linear Logic:
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	38	<UL>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	39	<LI>A. S. Troelstra<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	40	Lectures on Linear Logic (CSLI, 1992)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	41
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	42	<LI>S. Kalvala and V. de Paiva<BR>
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	43	Linear Logic in Isabelle (in TR 379, University of Cambridge
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	44	Computer Lab, 1995, ed L. Paulson)
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	45	</UL>
5383 74c2da44d144 weblinted, tuned; wenzelm parents: 3279 diff changeset	46
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	47	</BODY></HTML>

author	webertj
	Sun, 14 Nov 2004 01:40:27 +0100
changeset 15283	f21466450330
parent 5383	74c2da44d144
child 15582	7219facb3fd0
permissions	-rw-r--r--