| Publication | Date of Publication | Type |
|---|
Extensions of Lambek calculi
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Some syntactic interpretations in different systems of full Lambek calculus
Modality, Semantics and Interpretations | 2020-02-04 | Paper |
On involutive nonassociative Lambek calculus
Journal of Logic, Language and Information | 2019-06-26 | Paper |
Categorial grammars and their logics
Studies in Universal Logic | 2019-01-21 | Paper |
Involutive nonassociative Lambek calculus: sequent systems and complexity
Bulletin of the Section of Logic | 2018-03-21 | Paper |
On classical nonassociative Lambek calculus
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | 2017-02-22 | Paper |
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
Logical Aspects of Computational Linguistics | 2014-06-24 | Paper |
Multi-sorted residuation
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Pregroup grammars with letter promotions: complexity and context-freeness
Journal of Computer and System Sciences | 2012-11-06 | Paper |
Transition from potential to actual infinity via Ackermann's principle
Bulletin of the Section of Logic | 2012-09-18 | Paper |
Interpolation and FEP for logics of residuated algebras
Logic Journal of the IGPL | 2012-05-21 | Paper |
Pregroup Grammars with Letter Promotions
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Nonassociative Lambek Calculus with Additives and Context-Free Languages
Languages: From Formal to Natural | 2009-06-03 | Paper |
Infinitary action logic: complexity, models and grammars
Studia Logica | 2008-07-31 | Paper |
| scientific article; zbMATH DE number 5289966 (Why is no real title available?) | 2008-06-18 | Paper |
On the Complexity of the Equational Theory of Relational Action Algebras
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Type logics and pregroups
Studia Logica | 2008-01-21 | Paper |
Editorial introduction to the special issue on categorial grammars and pregroups
Studia Logica | 2008-01-21 | Paper |
On Action Logic: Equational Theories of Action Algebras
Journal Of Logic And Computation | 2007-05-14 | Paper |
| scientific article; zbMATH DE number 5129600 (Why is no real title available?) | 2007-02-26 | Paper |
| scientific article; zbMATH DE number 2108192 (Why is no real title available?) | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 2070201 (Why is no real title available?) | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 2050935 (Why is no real title available?) | 2004-03-07 | Paper |
Sequent systems for compact bilinear logic
MLQ | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1953885 (Why is no real title available?) | 2003-07-28 | Paper |
Editorial introduction to the special issue on: The Lambeck calculus in logic and lingustics
Studia Logica | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1786547 (Why is no real title available?) | 2002-08-21 | Paper |
| Categorial grammars with negative information | 2002-03-11 | Paper |
Finite models of some substructural logics
Mathematical Logic Quarterly (MLQ) | 2002-03-06 | Paper |
Grammatical structures and logical deductions
Logic and Logical Philosophy | 2001-10-01 | Paper |
| scientific article; zbMATH DE number 1471978 (Why is no real title available?) | 2001-09-13 | Paper |
| The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs | 2001-03-12 | Paper |
Algebraic structures in categorial grammar
Theoretical Computer Science | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1059893 (Why is no real title available?) | 1997-11-20 | Paper |
| scientific article; zbMATH DE number 975284 (Why is no real title available?) | 1997-03-12 | Paper |
The finite model property for BCI and related systems
Studia Logica | 1996-12-12 | Paper |
Extending Lambek grammars to basic categorial grammars
Journal of Logic, Language and Information | 1996-10-13 | Paper |
| scientific article; zbMATH DE number 549973 (Why is no real title available?) | 1994-04-12 | Paper |
Categorial grammars determined from linguistic data by unification
Studia Logica | 1990-01-01 | Paper |
Presuppositional completeness
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4134012 (Why is no real title available?) | 1988-01-01 | Paper |
Gaifman's theorem on categorial grammars revisited
Studia Logica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4108735 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045723 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4106818 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4051579 (Why is no real title available?) | 1987-01-01 | Paper |
Completeness Results for Lambek Syntactic Calculus
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4002072 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4002073 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4002074 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974346 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4003563 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4035792 (Why is no real title available?) | 1986-01-01 | Paper |
Embedding Boolean Structures into Atomic Boolean Structures
Mathematical Logic Quarterly | 1986-01-01 | Paper |
The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4002071 (Why is no real title available?) | 1985-01-01 | Paper |
Concerning the Axioms of Ackermann's Set Theory
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3887653 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887659 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887660 (Why is no real title available?) | 1984-01-01 | Paper |
Some Decision Problems in the Theory of Syntactic Categories
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Compatibility of a Categorial Grammar With an Associated Category System
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Logical Complexity of Some Classes of Tree Languages Generated by Multiple‐Tree‐Automata
Mathematical Logic Quarterly | 1980-01-01 | Paper |
Undecidability of the theory of lattice-orderable groups
Functiones et Approximatio. Commentarii Mathematici | 1979-01-01 | Paper |
Divisibility in abstract algebras
Functiones et Approximatio. Commentarii Mathematici | 1979-01-01 | Paper |
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
Studia Logica | 1978-01-01 | Paper |
