Sites

Fuzzy Logic (Popularity: )

Survey of logical systems with a continuum of truth values; from the Stanford Encyclopdia by ...

Benton, Nick (Popularity: )

Microsoft Research, USA.

Game Semantics or Linear Logic? (Popularity: )

A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic ...

Guglielmi, Alessio (Popularity: )

Technical University of Dresden, Germany.

Resources for Many-Valued Logic (Popularity: )

Bibliography and link collection by Reiner Hähnle.

Temporal Logic Case Study (Popularity: )

A case study applying temporal logic to specify the operation of a bank of identical ...

Fuzzy Logic Archive (Popularity: )

The Net's Original Fuzzy Logic Archive - Since 1994.

Cointerpretability (Popularity: )

Definition of the concept.

Marking up Temporal Logic (Popularity: )

First in a series of posts to the www-math mailing list on using TL operators ...

Relevance Logic and Concurrent Composition (Popularity: )

Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic.

Dosen, Kosta (Popularity: )

University of Belgrade, Yugoslavia.

Fuzzy Logic (Popularity: )

Open Encyclopedia article.

Giorgi Japaridze's Publications (Popularity: )

Full list of publications by this author, with about 30 items devoted to computability and ...

Interpretability (Popularity: )

A definition of the concept.

Chu Spaces from the Representational Viewpoint (Popularity: )

Tutorial article by Vaughan Pratt.

Extensional Concepts in Intensional Type Theory (Popularity: )

PhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in ...

Research Profile of Anton Setzer (Popularity: )

Anton Setzer is a prominent researcher working in the area of characterising strong predicative universes ...

TemporalRover (Popularity: )

Provides automatic verification of protocols and reactive systems through temporal logic specifications.

Gallier, Jean (Popularity: )

University of Pennsylvania, USA.

Hodas, Joseph (Popularity: )

Harvey Mudd College, USA.