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 |
https://portal.mardi4nfdi.de/entity/Q2915821 | 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 |
Editorial introduction to the special issue on categorial grammars and pregroups | 2008-01-21 | Paper |
Type logics 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 |
https://portal.mardi4nfdi.de/entity/Q2751052 | 2002-03-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2776810 | 2002-03-06 | Paper |
Grammatical structures and logical deductions | 2001-10-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4489062 | 2001-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702281 | 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 |
Gaifman's theorem on categorial grammars revisited | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3035259 | 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/Q3787984 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3830983 | 1987-01-01 | Paper |
Completeness Results for Lambek Syntactic Calculus | 1986-01-01 | Paper |
Embedding Boolean Structures into Atomic Boolean Structures | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3740278 | 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/Q3775529 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4728270 | 1986-01-01 | Paper |
Concerning the Axioms of Ackermann's Set Theory | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3754602 | 1985-01-01 | Paper |
The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars | 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 |
Compatibility of a Categorial Grammar With an Associated Category System | 1982-01-01 | Paper |
Some Decision Problems in the Theory of Syntactic Categories | 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 |