Wojciech Buszkowski

According to our database, Wojciech Buszkowski authored at least 41 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

On Involutive Nonassociative Lambek Calculus.

Wojciech Buszkowski

J. Log. Lang. Inf., 2019

2016

On Classical Nonassociative Lambek Calculus.

Wojciech Buszkowski

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2014

An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents.

Wojciech Buszkowski

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Multi-Sorted Residuation.

Wojciech Buszkowski

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2012

Pregroup grammars with letter promotions: Complexity and context-freeness.

Wojciech Buszkowski, Zhe Lin, Katarzyna Moroz

J. Comput. Syst. Sci., 2012

2011

Interpolation and FEP for logics of residuated algebras.

Wojciech Buszkowski

Log. J. IGPL, 2011

2010

Pregroup Grammars with Letter Promotions.

Wojciech Buszkowski, Zhe Lin

Proceedings of the Language and Automata Theory and Applications, 2010

2009

Nonassociative Lambek Calculus with Additives and Context-Free Languages.

Wojciech Buszkowski, Maciej Farulewski

Proceedings of the Languages: From Formal to Natural, 2009

2008

Infinitary Action Logic: Complexity, Models and Grammars.

Wojciech Buszkowski, Ewa Palka

Stud Logica, 2008

On the complexsity of some substructural logics.

Wojciech Buszkowski

Reports Math. Log., 2008

2007

Editorial Introduction.

Wojciech Buszkowski, Anne Preller

Stud Logica, 2007

Type Logics and Pregroups.

Wojciech Buszkowski

Stud Logica, 2007

On Action Logic: Equational Theories of Action Algebras.

Wojciech Buszkowski

J. Log. Comput., 2007

Rough Sets and Learning by Unification.

Wojciech Buszkowski

Fundam. Informaticae, 2007

2006

On the Complexity of the Equational Theory of Relational Action Algebras.

Wojciech Buszkowski

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2004

A Representation Theorem for Co-diagonalizable Algebras.

Wojciech Buszkowski

Reports Math. Log., 2004

2003

Sequent systems for compact bilinear logic.

Wojciech Buszkowski

Math. Log. Q., 2003

Syntactic Calculus and Pregroups.

Wojciech Buszkowski

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

Relational Models of Lambek Logics.

Wojciech Buszkowski

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2002

Editorial Introduction.

Wojciech Buszkowski, Michael Moortgat

Stud Logica, 2002

Finite Models of Some Substructural Logics.

Wojciech Buszkowski

Math. Log. Q., 2002

2001

Lambek Grammars Based on Pregroups.

Wojciech Buszkowski

Proceedings of the Logical Aspects of Computational Linguistics, 2001

Pregroups: Models and Grammars.

Wojciech Buszkowski

Proceedings of the Relational Methods in Computer Science, 2001

1998

Algebraic Structures in Categorial Grammar.

Wojciech Buszkowski

Theor. Comput. Sci., 1998

Approximation Spaces and Definability for Incomplete Information Systems.

Wojciech Buszkowski

Proceedings of the Rough Sets and Current Trends in Computing, 1998

More on embeddings of residuated semigroups into algebras of binary relations.

Wojciech Buszkowski

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models).

Wojciech Buszkowski, Miroslawa Kolowska-Gawiejnowics

Fundam. Informaticae, 1997

Mathematical Linguistics and Proof Theory.

Wojciech Buszkowski

Proceedings of the Handbook of Logic and Language., 1997

1996

The finite model property for BCI.

Wojciech Buszkowski

Stud Logica, 1996

Extending Lambek Grammars to Basic Categorial Grammars.

Wojciech Buszkowski

J. Log. Lang. Inf., 1996

1990

Categorial grammars determined from linguistic data by unification.

Wojciech Buszkowski, Gerald Penn

Stud Logica, 1990

On Generative Capacity of the Lambek Calculus.

Wojciech Buszkowski

Proceedings of the Logics in AI, European Workshop, 1990

1989

Presuppositional completeness.

Wojciech Buszkowski

Stud Logica, 1989

1988

Gaifman's theorem on categorial grammars revisited.

Wojciech Buszkowski

Stud Logica, 1988

1986

Embedding Boolean Structures into Atomic Boolean Structures.

Wojciech Buszkowski

Math. Log. Q., 1986

Completeness Results for Lambek Syntactic Calculus.

Wojciech Buszkowski

Math. Log. Q., 1986

1985

The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars.

Wojciech Buszkowski

Math. Log. Q., 1985

Concerning the Axioms of Ackermann's Set Theory.

Wojciech Buszkowski

Math. Log. Q., 1985

1982

Some Decision Problems in the Theory of Syntactic Categories.

Wojciech Buszkowski

Math. Log. Q., 1982

Compatibility of a Categorial Grammar With an Associated Category System.

Wojciech Buszkowski

Math. Log. Q., 1982

1980

Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata.

Wojciech Buszkowski

Math. Log. Q., 1980