Lambek Calculus with Classical Logic
(PDF file 318 KB)
Materiały dydaktyczne
Curriculum vitae:
Basic Information
- Name: Buszkowski
- Forename: Wojciech
- Date of birth: October 17, 1950
- Family Status: Married, 3 children
- Affiliation: Department of Mathematical Logic,
Faculty
of Mathematics and Computer Science, Adam
Mickiewicz University, Uniwersytetu Poznańskiego 4, 61-614 Poznań,
Poland,
- e-mail: buszko@amu.edu.pl
- Scientific Degree: Prof. dr hab.
- University Position: Professor, Head of the Department
of Mathematical Logic (since 2020)
Professional Career
top
Former Positions
- 1993-2019 Head of the Department of Computation Theory,
Faculty of Mathematics and Computer Science, AMU
- 2000-2011 Head of the Chair of Logic and Computation,
University of Warmia and Mazury, Olsztyn
top
Visiting Positions
- 1989 Visiting Professor at The Department of
Computer Science, The University of Chicago (6 months)
- 1991 Visiting Professor at The University of
Munich, CIS (2 months)
top
Scientific Stays
at Foreign Universities
- 1989-1990 The Alexander von Humboldt Fellow,
University of Saarbruecken (Germany)
- 1993 ECO-COST Grant, University of Amsterdam,
Faculty of Mathematics and Computer Science (3 months)
- 1994 TEMPUS JEP 1941, University of Groningen,
University of Amsterdam, (2 weeks)
- 2007 Research Group on Mathematical Linguistics,
Rovira i Virgili University, Tarragona
top
Research Projects/Grants
- CPBP 08.15, Logical Structure of Non-Formal
Reasoning, A Central Research Project of the Polish
State, Position: Head of a Research Group (1985-1990)
- RPBP III.24, A Research Project of the Polish
Ministry of Education, Positions: Head of a Research
Group (1986), Participant (1987-1989)
- TEMPUS JEP 1941, Language, Cognitive Science and
Information Technology, A Development Project of European
Communities, Position: `Contact Person' in Poznan (1991-1994)
- KBN 8 T11C 04010, Many-Valued Logics and Reasoning
with Incomplete Information, A Research Project of the
State Committee of Scientific Research in Poland,
Position: Participant
top
Editorial Activities
- Member of the Editorial Board of Studia Logica
- Member of the Editorial Committee of Journal of
Applied Logics
- Member of the Editorial Board of Studies in Logic
- Member of the Editorial Board of Logic Journal of The IGPL
top
Other Activities
- President of the Poznan Division of The Polish
Mathematical Society (1991-1993)
- President of The Polish Association of Logic and
Philosophy of Science (1993-1996), Member of the Board (1996-1999)
- Member of the Selection Committee of Beth Award,
awarded by FoLLI (2008-2015, chair 2010-2013)
top
Publications
- More than 100 publications in Studia Logica, Zeitschrift fuer
mathematische Logik und Grundlagen der Mathematik, Journal
of Logic, Language and Information, Bulletin of
The Polish Academy of Sciences, Bulletin of The
Section of Logic, Bulletin of Applied Non-Classical
Logics, Theoretical Computer Science, Fundamenta
Informaticae, Journal of Logic and Computation,
Logic Journal of The IGPL, LNCS, Mathematical Logic Quarterly,
Journal of Computer and System Sciences, Linguistic Analysis
and collection volumes,
1 monograph (in Polish), Co-Editor of 1 collection volume and
2 special issues of Studia Logica.
top