Wojciech Buszkowski


Recent articles:

  1. Extending Lambek Grammars to BCGs (PDF file 217 KB)
  2. Cut elimination for the Lambek calculus of adjoints (PostScript file 128 KB)
  3. Finite Restricted Powerset Models...    (PostScript file 155 KB)
  4. Relations between Sets of Time Points...    (PostScript file 397 KB)
  5. Representation of Residuated Semigroups...   (PostScript file 410 KB)
  6. Pregroups: Models and Grammars (PostScript file 400 KB)
  7. Lambek Calculus with Nonlogical Axioms (PDF file 258 KB)
  8. Relational Models of Lambek Logics (PostScript file 232 KB)
  9. Restricted Optimal Unification (PostScript file 253 KB)
  10. Lambek grammars based on pregroups (PDF file 203 KB)
  11. Type Logics In Grammar (PDF file 283 KB)
  12. A representation of co-diagonalizable algebras (PDF file 98 KB)
  13. On Action Logic (PDF file 246 KB)
  14. Relational Action Algebras (PDF file 228 KB)
  15. Pregroup Grammars and Context-free Grammars (PDF file 168 KB)
  16. Complexity of Some Substructural Logics (PDF file 170 KB)
  17. Infinitary Action Logic (PDF file 156 KB)
  18. Nonassociative Lambek Calculus with Additives and Context-free Languages (PDF file 190 KB)
  19. Rough Sets and Learning by Unification (PDF file 122 KB)
  20. Type Logics and Pregroups (PDF file 282 KB)
  21. Pregroup Grammars with Letter Promotions (PDF file 293 KB)
  22. Interpolation and FEP for Logics of Residuated Algebras (PDF file 211 KB)
  23. Lambek Calculus and Substructural Logics (PDF file 369 KB)
  24. O równoznaczności wyrażeń w ujęciu Ajdukiewicza (PDF file 226 KB)
  25. Multi-Sorted Residuation (PDF file 239 KB)
  26. Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (PDF file 328 KB)
  27. Syntactic categories and types: Ajdukiewicz and modern categorial grammars (PDF file 283 KB)
  28. On Classical Nonassociative Lambek Calculus (PDF file 288 KB)
  29. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (PDF file 201 KB)
  30. Categorial Grammars and Their Logics (PDF file 354 KB)
  31. Phase Spaces for Involutive Nonassociative Lambek Calculus (PDF file 293 KB)
  32. On Involutive Nonassociative Lambek Calculus (PDF file 583 KB)
  33. Lambek Calculus with Classical Logic (PDF file 318 KB)

    Materiały dydaktyczne


    Curriculum vitae:

    Basic Information

    1. Name: Buszkowski
    2. Forename: Wojciech
    3. Date of birth: October 17, 1950
    4. Family Status: Married, 3 children
    5. Affiliation: Department of Mathematical Logic, Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Uniwersytetu Poznańskiego 4, 61-614 Poznań, Poland,
    6. e-mail: buszko@amu.edu.pl
    7. Scientific Degree: Prof. dr hab.
    8. University Position: Professor, Head of the Department of Mathematical Logic (since 2020)

    Professional Career

    top

    Former Positions


    top

    Visiting Positions


    top


    Scientific Stays at Foreign Universities

    top


    Research Projects/Grants

    top


    Editorial Activities

    top


    Other Activities

    top


    Publications

    top