| Publication | Date of Publication | Type |
|---|
| Extensions of Lambek Calculi | 2021-12-08 | Paper |
| Some Syntactic Interpretations in Different Systems of Full Lambek Calculus | 2020-02-04 | Paper |
| On involutive nonassociative Lambek calculus | 2019-06-26 | Paper |
| Categorial Grammars and Their Logics | 2019-01-21 | Paper |
| Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity | 2018-03-21 | Paper |
| On Classical Nonassociative Lambek Calculus | 2017-02-22 | Paper |
| An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents | 2014-06-24 | Paper |
| Multi-Sorted Residuation | 2014-05-08 | Paper |
| Pregroup grammars with letter promotions: complexity and context-freeness | 2012-11-06 | Paper |
| Transition from potential to actual infinity via Ackermann's principle | 2012-09-18 | Paper |
| Interpolation and FEP for logics of residuated algebras | 2012-05-21 | Paper |
| Pregroup Grammars with Letter Promotions | 2010-05-26 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Nonassociative Lambek Calculus with Additives and Context-Free Languages | 2009-06-03 | Paper |
| Infinitary action logic: complexity, models and grammars | 2008-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505074 | 2008-06-18 | Paper |
| On the Complexity of the Equational Theory of Relational Action Algebras | 2008-04-24 | Paper |
| Type logics and pregroups | 2008-01-21 | Paper |
| Editorial introduction to the special issue on categorial grammars and pregroups | 2008-01-21 | Paper |
| On Action Logic: Equational Theories of Action Algebras | 2007-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425573 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820590 | 2004-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463937 | 2004-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453209 | 2004-03-07 | Paper |
| Sequent systems for compact bilinear logic | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415069 | 2003-07-28 | Paper |
| Editorial introduction to the special issue on: The Lambeck calculus in logic and lingustics | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547844 | 2002-08-21 | Paper |
| Categorial grammars with negative information | 2002-03-11 | Paper |
| Finite models of some substructural logics | 2002-03-06 | Paper |
| Grammatical structures and logical deductions | 2001-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489062 | 2001-09-13 | Paper |
| The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs | 2001-03-12 | Paper |
| Algebraic structures in categorial grammar | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353914 | 1997-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283974 | 1997-03-12 | Paper |
| The finite model property for BCI and related systems | 1996-12-12 | Paper |
| Extending Lambek grammars to basic categorial grammars | 1996-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287492 | 1994-04-12 | Paper |
| Categorial grammars determined from linguistic data by unification | 1990-01-01 | Paper |
| Presuppositional completeness | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3035259 | 1988-01-01 | Paper |
| Gaifman's theorem on categorial grammars revisited | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832544 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783276 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830983 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787984 | 1987-01-01 | Paper |
| Completeness Results for Lambek Syntactic Calculus | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754603 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754604 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754605 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740278 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728270 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775529 | 1986-01-01 | Paper |
| Embedding Boolean Structures into Atomic Boolean Structures | 1986-01-01 | Paper |
| The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754602 | 1985-01-01 | Paper |
| Concerning the Axioms of Ackermann's Set Theory | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222164 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222170 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222171 | 1984-01-01 | Paper |
| Some Decision Problems in the Theory of Syntactic Categories | 1982-01-01 | Paper |
| Compatibility of a Categorial Grammar With an Associated Category System | 1982-01-01 | Paper |
| Logical Complexity of Some Classes of Tree Languages Generated by Multiple‐Tree‐Automata | 1980-01-01 | Paper |
| Undecidability of the theory of lattice-orderable groups | 1979-01-01 | Paper |
| Divisibility in abstract algebras | 1979-01-01 | Paper |
| Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus | 1978-01-01 | Paper |
