A New Deconstructive Logic: Linear Logic (1997)
Document details from CiteSeerX (Isaac Councill, Lee Giles): A new deconstructive logic: linear logic
http://citeseer.ist.psu.edu/danos97new.html

Game Semantics or Linear Logic?
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic. Computational problems/tasks/resources are understood as games played by a machine against the environment.
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

Game Semantics or Linear Logic?
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic. Computational problems/tasks/resources are understood as games played by a machine against the environment.
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

Game Semantics or Linear Logic?
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic. Computational problems/tasks/resources are understood as games played by a machine against the environment.
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

Aristotelian and Modern Logic
Article by Katalin Havas, discussing the nature of progress in logic, and the idea of logic as a perfected discipline.
http://www.ifs.csic.es/sorites/Issue_04/item5.htm

The Logic Classroom
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.
http://www.sjsu.edu/faculty/carranza/

ASL Typesetting Office
TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes in Logic. Document class, bibtex style and documentation (PS).
http://www.math.ucla.edu/~asl/

Logic Tutorial
Free tutorials in formal logic (symbolic or propositional logic) from logictutorial.com - using Exclusion Diagrams. Nagarjuna meets Venn and Wittgenstein.
http://logictutorial.com/

Gateway to Logic
The Gateway to Logic is a collection of interactive logic software intended mainly for the didactic use.
http://logik.phl.univie.ac.at/~chris/formular-uk.html

Computational Isomorphisms in Classical Logic
Document details from CiteSeerX (Isaac Councill, Lee Giles): We prove that any pair of derivations, without structural rules, of F) G and G) F, where F, G are rst-order formulas `without any qualities', in a constrained classical sequent calculus LK p, denes a computational isomorphism up to an equivalence on derivations based upon reversibility properties of logical rules. This result gives a rationale behind the success of Girard's denotational semantics for classical logic, in which all standard `linear' boolean equations are satised. 1
http://citeseer.ist.psu.edu/243183.html