Carnegie Mellon University

Cmu.edu has 1,260 URLs listed in 476 Dmoz categories.

CADE-17
The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
http://www.cs.cmu.edu/~cade/
Top/Science/Math/Logic_and_Foundations/Meetings/Past_Conferences

Bibliography on Linear Logic
A list of over 400 papers on linear logic. Many of the papers are downloadable.
http://www.cs.cmu.edu/~carsten/linearbib/llb.html
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Substructural_Logics/Linear_Logic

Temporal Logic Case Study
A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.
http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Temporal_Logic

Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/
Top/Science/Math/Logic_and_Foundations/People

Cummings, James
Carnegie Mellon University - Set theory.
http://www.math.cmu.edu/users/jcumming/
Top/Science/Math/Logic_and_Foundations/People

Grossberg, Rami
Carnegie Mellon University - Model theory.
http://www.math.cmu.edu/users/rami/
Top/Science/Math/Logic_and_Foundations/People

Pfenning, Frank
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
http://www.cs.cmu.edu/~fp/
Top/Science/Math/Logic_and_Foundations/People