Mathematical Logic and Category Theory

Description

Pure logic (weak theories in arithmetics, categorical logic, nonclassical logics) and applications of logic in computer science and artifficial intelligence. Category theory and its applications.

Seminars

• Seminar Mathematical Logic
• Seminar Category Theory
• Seminar Automata Theory
• Research Seminar of the Logic Group: Approximate reasoning in data mining

Employees and PhD students

• dr hab. Leszek Kołodziejczyk

• prof. dr hab. Andrzej Szałas

• prof. dr hab. Andrzej Tarlecki

• prof. dr hab. Paweł Urzyczyn

• dr hab. Marek Zawadowski, prof. UW