Research Groups and Centers Logic and Foundations Math

Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

• Top/Science/Math/Algebra/Category Theory/Research Groups
• Top/Science/Math/Academic Departments

• (Israel) Haifa - Logic Seminar.
• (Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad logic and foundations de los Andes).
• (Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.
• (Australia) Canberra - Automated Reasoning Group. Publications, software, meetings, links. Research logic and foundations areas: mathematical properties of non-classical logics; algorithms for reasoning in logic and foundations classical and non-classical systems.
• (Japan) Kobe - Foundations of Mathematics and Computer Science.

   MySQL - Cache Direct