Learn about Chu Spaces at this Stanford University-hosted resource. Includes a Java-based menu-driven calculator, a guide to papers, and abstracts about Chu spaces.

Vaughan Pratt provides a paper that gives an elementary introduction to Chu spaces viewed as a set of strings all of the same length.

Provides an overview of the current knowledge in Linear Logic with sections on sequent calculus, interaction nets, and phase semantics.

Download chapters of this introductory course on Linear Logic taught by Vincent Danos and Roberto Di Cosmo. With selected exam texts.

Read a posting to a mailing list by Vaughn Pratt regarding the intuitive meaning of Linear Logic.

Find research, tutorials, bibliographies, and info on related fields provided by the SWIF notebook. In English and Italian.

Find seminar details including suggested topics and references, lectures given, draft notes, and related technical reports.

Read this in-depth definition for relevance logic provided by Stanford University. With articles on semantics, proof theory, and systems of relevance logic.

Document in the Stanford Encyclopedia of Philosophy gives a definition of substructural logics and includes notes on residuation, weakening, and commutativity.