Sites

Hyland, Martin (Popularity: )

Kings College, UK.

Miller, Dale (Popularity: )

École polytechnique, France.

De Paiva, Valeria (Popularity: )

Palo Alto Research Center, USA.

Delzanno, Giorgio (Popularity: )

University of Genova, Italy.

Harland, James (Popularity: )

RMIT University, Australia.

Inductive Definitions in Type Theory (Popularity: )

Internet resource accompanying a graduate course given by Peter Dybjer.

Linear Logic as a Good Logical Foundation for Computer Science (Popularity: )

A brief analysis of the computational aspects of linear logic by Max Kanovich.

Cornelis, Chris (Popularity: )

University of Ghent, Belgium.

Intuitionistic Logic (Popularity: )

A very brief overview of the subject by Alex Sakharov from MathWorld.

Kruse, Rudolf (Popularity: )

University of Magdeburg, Germany.

Linear Logic Primer (Popularity: )

Introductory course by Vincent Danos and Roberto Di Cosmo.

Linear Logic Semantics (Popularity: )

A long reply by Vaughan Pratt to a question on the linear logic mailing list ...

Many-Valued Logic (Popularity: )

Survey article on multiple-valued logics, by Siegfried Gottwald. From the Stanford Encyclopedia.

Phil Wadler's Linear Logic Publications (Popularity: )

Includes his tutorial paper "A taste of linear logic".

The Logic of More (Popularity: )

Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value ...

Flow Analysis in the Geometry of Interaction (Popularity: )

Article by Thomas Jensen, who draws a connection between program analysis and linear logic.

Interpretability Logic (Popularity: )

Wikipedia article.

Interpretability Logic (Popularity: )

Open Encyclopedia article.

Interval Temporal Logic (Popularity: )

A flexible notation for both propositional and first-order reasoning about periods of time found in ...

Shankar, Natarajan (Popularity: )

SRI International, USA.