Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech |
|
2001
|
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech |
|
1986
|
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech |
|
1982
|
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech |
|
2011
|
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej |
|
2009
|
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech |
|
2007
|
Categorial grammars determined from linguistic data by unification. Zbl 0718.03020
Buszkowski, Wojciech; Penn, Gerald |
|
1990
|
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
|
|
2005
|
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech |
|
1985
|
Categorial grammar. Zbl 0691.00002
|
|
1988
|
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech |
|
1982
|
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa |
|
2008
|
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech |
|
2003
|
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech |
|
1996
|
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech |
|
1986
|
Solvable problems for classical categorial grammars. Zbl 0642.03022
Buszkowski, Wojciech |
|
1987
|
Type logics in grammar. Zbl 1169.03342
Buszkowski, W. |
|
2003
|
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech |
|
2007
|
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech |
|
2006
|
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech |
|
1996
|
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech |
|
2002
|
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech |
|
2002
|
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech |
|
1998
|
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława |
|
1997
|
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E. |
|
1986
|
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech |
|
1988
|
On classical nonassociative Lambek calculus. Zbl 1480.03011
Buszkowski, Wojciech |
|
2016
|
Presuppositional completeness. Zbl 0682.03016
Buszkowski, Wojciech |
|
1989
|
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech |
|
2004
|
Gaifman’s theorem on categorial grammars revisited. Zbl 0664.03025
Buszkowski, Wojciech |
|
1988
|
Typed functorial languages. Zbl 0618.03012
Buszkowski, Wojciech |
|
1986
|
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa |
|
1986
|
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech |
|
2017
|
Communication logic is an elementary theory. Zbl 0645.03024
Buszkowski, Wojciech |
|
1987
|
Extending Lambek grammars to basic categorial grammars. Zbl 0855.03015
Buszkowski, Wojciech |
|
1996
|
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech |
|
1996
|
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents. Zbl 1291.03038
Buszkowski, Wojciech |
|
2014
|
On generative capacity of the Lambek calculus. Zbl 0797.03027
Buszkowski, Wojciech |
|
1991
|
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech |
|
2008
|
Undecidability of the theory of lattice-orderable groups. Zbl 0408.03010
Buszkowski, Wojciech |
|
1979
|
Logical complexity of some classes of tree languages generated by multiple-tree-automata. Zbl 0432.03024
Buszkowski, Wojciech |
|
1980
|
The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs. Zbl 0966.03027
Buszkowski, Wojciech |
|
1998
|
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech |
|
1986
|
Second-order communication logic. Zbl 0677.03020
Buszkowski, Wojciech |
|
1988
|
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus. Zbl 0394.03018
Buszkowski, Wojciech |
|
1978
|
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech |
|
1986
|
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech |
|
1985
|
Multi-sorted residuation. Zbl 1285.03013
Buszkowski, Wojciech |
|
2014
|
A note on Lambek-van Benthem calculus. Zbl 0557.03017
Buszkowski, Wojciech |
|
1984
|
Concerning the axioms of Ackermann’s set theory. Zbl 0564.03039
Buszkowski, Wojciech |
|
1985
|
Relational models of Lambek logics. Zbl 1203.03029
Buszkowski, Wojciech |
|
2003
|
Some syntactic interpretations in different systems of full Lambek calculus. Zbl 1429.03089
Buszkowski, Wojciech |
|
2015
|
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech |
|
2019
|
Pregroup grammars with letter promotions: complexity and context-freeness. Zbl 1250.68138
Buszkowski, Wojciech; Lin, Zhe; Moroz, Katarzyna |
|
2012
|
Categorial grammars and their logics. Zbl 1522.03096
Buszkowski, Wojciech |
|
2018
|
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech |
|
2019
|
Categorial grammars and their logics. Zbl 1522.03096
Buszkowski, Wojciech |
|
2018
|
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech |
|
2017
|
On classical nonassociative Lambek calculus. Zbl 1480.03011
Buszkowski, Wojciech |
|
2016
|
Some syntactic interpretations in different systems of full Lambek calculus. Zbl 1429.03089
Buszkowski, Wojciech |
|
2015
|
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents. Zbl 1291.03038
Buszkowski, Wojciech |
|
2014
|
Multi-sorted residuation. Zbl 1285.03013
Buszkowski, Wojciech |
|
2014
|
Pregroup grammars with letter promotions: complexity and context-freeness. Zbl 1250.68138
Buszkowski, Wojciech; Lin, Zhe; Moroz, Katarzyna |
|
2012
|
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech |
|
2011
|
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej |
|
2009
|
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa |
|
2008
|
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech |
|
2008
|
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech |
|
2007
|
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech |
|
2007
|
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech |
|
2006
|
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
|
|
2005
|
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech |
|
2004
|
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech |
|
2003
|
Type logics in grammar. Zbl 1169.03342
Buszkowski, W. |
|
2003
|
Relational models of Lambek logics. Zbl 1203.03029
Buszkowski, Wojciech |
|
2003
|
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech |
|
2002
|
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech |
|
2002
|
Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech |
|
2001
|
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech |
|
1998
|
The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs. Zbl 0966.03027
Buszkowski, Wojciech |
|
1998
|
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława |
|
1997
|
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech |
|
1996
|
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech |
|
1996
|
Extending Lambek grammars to basic categorial grammars. Zbl 0855.03015
Buszkowski, Wojciech |
|
1996
|
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech |
|
1996
|
On generative capacity of the Lambek calculus. Zbl 0797.03027
Buszkowski, Wojciech |
|
1991
|
Categorial grammars determined from linguistic data by unification. Zbl 0718.03020
Buszkowski, Wojciech; Penn, Gerald |
|
1990
|
Presuppositional completeness. Zbl 0682.03016
Buszkowski, Wojciech |
|
1989
|
Categorial grammar. Zbl 0691.00002
|
|
1988
|
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech |
|
1988
|
Gaifman’s theorem on categorial grammars revisited. Zbl 0664.03025
Buszkowski, Wojciech |
|
1988
|
Second-order communication logic. Zbl 0677.03020
Buszkowski, Wojciech |
|
1988
|
Solvable problems for classical categorial grammars. Zbl 0642.03022
Buszkowski, Wojciech |
|
1987
|
Communication logic is an elementary theory. Zbl 0645.03024
Buszkowski, Wojciech |
|
1987
|
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech |
|
1986
|
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech |
|
1986
|
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E. |
|
1986
|
Typed functorial languages. Zbl 0618.03012
Buszkowski, Wojciech |
|
1986
|
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa |
|
1986
|
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech |
|
1986
|
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech |
|
1986
|
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech |
|
1985
|
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech |
|
1985
|
Concerning the axioms of Ackermann’s set theory. Zbl 0564.03039
Buszkowski, Wojciech |
|
1985
|
A note on Lambek-van Benthem calculus. Zbl 0557.03017
Buszkowski, Wojciech |
|
1984
|
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech |
|
1982
|
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech |
|
1982
|
Logical complexity of some classes of tree languages generated by multiple-tree-automata. Zbl 0432.03024
Buszkowski, Wojciech |
|
1980
|
Undecidability of the theory of lattice-orderable groups. Zbl 0408.03010
Buszkowski, Wojciech |
|
1979
|
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus. Zbl 0394.03018
Buszkowski, Wojciech |
|
1978
|