Logic and Foundations

Science, Math, Logic and Foundations, Software - PVS. The PVS Specification and Verification System.

Download free proof writing software for high school, college and university-level mathetmatics

Science, Math, Logic and Foundations, Set Theory - Burke, Dennis. Miami University of Ohio.

Science, Math, Logic and Foundations, Proof Theory - Guglielmi, Alessio. Technical University of Dresden, Germany.

Science, Math, Logic and Foundations, Organizations - KR, Inc.. Principles of Knowledge Representation and Reasoning, Incorporated.

Science, Math, Logic and Foundations, Organizations - International Federation for Computational Logic (IFCoLog). A federation of societies and groups active in computational logic.

Science, Math, Logic and Foundations, Organizations - ASL. Association for Symbolic Logic.

Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - Chu Spaces. Site created by Vaughan Pratt.

Free fuzzy logic tutorial.

Science, Math, Logic and Foundations, Meetings - FLoC '02 - Federated Logic Conference. Seven concurrent meetings will be held.

Science, Math, Logic and Foundations, Institutions - (Austria) Vienna University of Technology. Group in Applications of Formal Logic.

The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam. ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Research at ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, linguistics, cognitive science, artificial intelligence and philosophy.