Sites

Linear Logic Papers by Andreas Blass (Popularity: )

Collection of downloadable papers on linear logic and game semantics by A. Blass.

Fukuda, Toshio (Popularity: )

Nagoya University, Japan.

Artemov, Sergei (Popularity: )

City University of New York Graduate Center, USA.

Dosen, Kosta (Popularity: )

University of Belgrade, Yugoslavia.

Pfenning, Frank (Popularity: )

Carnegie Mellon University, USA.

Cervesato, Lliano (Popularity: )

ITT Industries, Inc., USA.

Nuprl Project Related Web Sites (Popularity: )

NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.

Wadler, Philip (Popularity: )

University of Edinburgh, UK.

Braüner, Torben (Popularity: )

Roskilde University, Denmark.

Chu Spaces (Popularity: )

Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear ...

Intuitionistic logic (Popularity: )

Free Online Encyclopedia article. What does Intuitionistic logic mean? What is Intuitionistic logic?

Zambella, Domenico (Popularity: )

University of Torino, Italy.

Substructural Logics (Popularity: )

Survey from the Stanford Encyclopedia of Philosophy by Greg Restall.

Danos, Vincent (Popularity: )

University of Paris, France.

Implementing Mathematics Using NuPrl (Popularity: )

Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks on ...

Multi-valued Logic Home Page (Popularity: )

Links to journals and researchers in many-valued logic, bibliographies, and conferences.

Boolos, George (Popularity: )

Massachussets Institute of Technology, USA (Wikipedia article).

Substructural and Paraconsistent Logics (Popularity: )

A section of the SWIF map of logic on the WWW. Resources are in English ...

MacColl and Many-Valued Logic: An Exclusive Conjunction (Popularity: )

Argues, against Rescher, that MacColl's logic cannot reasonably be counted as many-valued. By Peter Simons.

Introduction to Linear Logic (Popularity: )

Abstract and downloadable full text. By Torben Braüner.