Sites

Confessions of a Formalist, Platonist Intuitionist (Popularity: )

Autobiographical article by Fred Richman, describing his encounter with intuitionism.

Mally's Deontic Logic (Popularity: )

Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.

Asperti, Andrea (Popularity: )

University of Bologna, Italy.

Intuitionistic Logic (Popularity: )

A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.

Beg, Ismat (Popularity: )

Lahore University of Management Sciences, Pakistan.

Beklemishev, Lev (Popularity: )

Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia.

Modality, Si! Modal Logic, No! (Popularity: )

Article by J. McCarthy on the use of modality in artificial intelligence.

Martin-Löf Type Theory: Semantics and Proof Theory (Popularity: )

Home page of a working group maintained by Thierry Coquand.

Fuzzy Systems by James F. Brule' (Popularity: )

Covers the history, main concepts, applications and peer objections. Includes bibliography and additional resources.

Articles by Jean-Yves Girard (Popularity: )

About two dozen downloadable papers on linear logic by J.Y. Girard.

Mendel, Jerry (Popularity: )

University of Southern Carolina, USA.

Fuzzy Logic Sources (Popularity: )

Maintained by Bob John, De Montfort University.

Bibliography on Linear Logic (Popularity: )

A list of over 400 papers on linear logic. Many of the papers are downloadable.

Relevance Logic (Popularity: )

Article in the Stanford Encyclopaedia of Philosophy, by Edwin Mares.

Tolerance (Popularity: )

Definition of the concept of a tolerant sequence of theories.

Muravitsky, Alexei (Popularity: )

Scholars' College, USA.

Time International Workshop Series (Popularity: )

The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including ...

Multiple-valued Logic: A Tutorial (Popularity: )

Tutorial on multi-valued logic or MVL. It explains the differences between binary and multi-valued logic ...

Cotolerance (Popularity: )

Definition of the concept of a cotolerant sequence of theories.

Fuzzy Logic Jump Start (Popularity: )

Shows some examples of how this system would work. Includes instruction on method, perception, and ...