Logic and Foundations

Science, Math, Logic and Foundations, Institutions - SRI International. Computer Science Laboratory: Formal Methods and Dependable Systems.

KGRC Kurt Gdel Research Center for Mathematical Logic at the University of Vienna

Science, Math, Logic and Foundations, Institutions - (Russia) St. Petersburg. Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

Science, Math, Logic and Foundations, Institutions - Aachen. Mathematical Foundations of Computer Science.

SYLLOGISM: This site allows online experimentation with Aristotelian term logic, especially syllogistic reasoning. All the rules of Aristotelian logic have been implemented.Thus automatic proofs are possible. There is also a construction of semantic models of Aristotelian logic.

Web site devoted to the works and life of Charles S. Peirce, American philisopher.

Science, Math, Logic and Foundations, Foundations - Mizar Project. An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

Logic Machine at Texas A&M University

Science, Math, Logic and Foundations, Computational Logic - The Coq proof assistant. Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.

Science, Math, Logic and Foundations, Computational Logic - The HOL Theorem Proving System. The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.

Science, Math, Logic and Foundations, Computational Logic - Isabelle. Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.

Science, Math, Logic and Foundations, Computability - Hypercomputation Research Network. The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation.