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.

Mally's Deontic Logic
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
http://plato.stanford.edu/entries/mally-deontic/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Modal_Logic

Substructural Logics
Survey from the Stanford Encyclopedia of Philosophy by Greg Restall.
http://plato.stanford.edu/entries/logic-substructural/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics

Cervesato, Lliano
ITT Industries, Inc., USA.
http://theory.stanford.edu/~iliano/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics/Linear_Logic/People

Relevance Logic
Article in the Stanford Encyclopaedia of Philosophy, by Edwin Mares.
http://plato.stanford.edu/entries/logic-relevance/index.html
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics/Relevance_Logic

Temporal Logic
The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.
http://plato.stanford.edu/entries/logic-temporal/
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Temporal_Logic

Etchemendy, John
Stanford University - Philosophical logic, semantics, and philosophy of language.
http://www-csli.stanford.edu/hp/etchemendy.html
Top/Science/Math/Logic_and_Foundations/People

Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
http://math.stanford.edu/~feferman/
Top/Science/Math/Logic_and_Foundations/People

The Epsilon Calculus
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
http://plato.stanford.edu/entries/epsilon-calculus/
Top/Science/Math/Logic_and_Foundations/Proof_Theory

Set Theory
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
http://plato.stanford.edu/entries/set-theory/
Top/Science/Math/Logic_and_Foundations/Set_Theory

Devlin, Keith
CLSI Stanford.
http://www.stanford.edu/~kdevlin/
Top/Science/Math/Logic_and_Foundations/Set_Theory/People