Stanford University

Description: Stanford University is one of the world's leading research and teaching institutions. It is located in Palo Alto, California.

Keywords: university, research, undergraduate research, graduate research, humanities, sciences, earth sciences, business, law, engineering, medicine, education, california, palo alto

Stanford.edu has 1,431 URLs listed in 1,077 Dmoz categories.

Alan M. Turing
Entry from the Stanford Encyclopedia of Philosophy by Andrew Hodges.
http://plato.stanford.edu/entries/turing/
Top/Science/Math/Logic_and_Foundations/History/People/Turing,_Alan_Mathison

Stanford
Logic Group.
http://logic.stanford.edu/
Top/Science/Math/Logic_and_Foundations/Institutions/North_America

DL2001
International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
http://www.ksl.stanford.edu/dl2001/
Top/Science/Math/Logic_and_Foundations/Meetings/Past_Conferences

Infinitary Logic
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
http://plato.stanford.edu/entries/logic-infinitary/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions

Fuzzy Logic
Survey of logical systems with a continuum of truth values; from the Stanford Encyclopedia by Petr Hajek .
http://plato.stanford.edu/entries/logic-fuzzy/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Fuzzy_Logic

Intuitionistic Logic
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
http://plato.stanford.edu/entries/logic-intuitionistic/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Intuitionistic_Logic

Many-Valued Logic
Survey article on multiple-valued logics, by Siegfried Gottwald. From the Stanford Encyclopedia.
http://plato.stanford.edu/entries/logic-manyvalued/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Many-valued_Logic

Modal Logic
A discussion of modal logic by John McCarthy.
http://www-formal.stanford.edu/jmc/mcchay69/node22.html
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Modal_Logic

Modal Logic
Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.
http://plato.stanford.edu/entries/logic-modal/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Modal_Logic

Modality, Si! Modal Logic, No!
Article by J. McCarthy on the use of modality in artificial intelligence.
http://www-formal.stanford.edu/jmc/modality/modality.html
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Modal_Logic