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/

Efficient Symbolic Tools
A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.
http://lms.uni-mb.si/EST/

Partition Logic
Partition Logic is a free hard disk partitioning and data management tool. It can create, delete, format, defragment, resize, and move partitions and modify their attributes.
http://partitionlogic.org.uk

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/