% csauthors.net - beta - BibTeX bibliography of Wojciech Buszkowski
@article{journals/mlq/Buszkowski80,
title = {Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata.},
year = {1980},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski82,
title = {Compatibility of a Categorial Grammar With an Associated Category System.},
year = {1982},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski82a,
title = {Some Decision Problems in the Theory of Syntactic Categories.},
year = {1982},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski85,
title = {Concerning the Axioms of Ackermann's Set Theory.},
year = {1985},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski85a,
title = {The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars.},
year = {1985},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski86,
title = {Completeness Results for Lambek Syntactic Calculus.},
year = {1986},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/mlq/Buszkowski86a,
title = {Embedding Boolean Structures into Atomic Boolean Structures.},
year = {1986},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/Buszkowski88,
title = {Gaifman's theorem on categorial grammars revisited.},
year = {1988},
journal = {Stud Logica},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/Buszkowski89,
title = {Presuppositional completeness.},
year = {1989},
journal = {Stud Logica},
author = {{Wojciech Buszkowski}}
}
@inproceedings{conf/jelia/Buszkowski90,
title = {On Generative Capacity of the Lambek Calculus.},
year = {1990},
booktitle = {JELIA},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings}
}
@article{journals/sLogica/BuszkowskiP90,
title = {Categorial grammars determined from linguistic data by unification.},
year = {1990},
journal = {Stud Logica},
author = {{Wojciech Buszkowski} and {Gerald Penn}}
}
@article{journals/jolli/Buszkowski96,
title = {Extending Lambek Grammars to Basic Categorial Grammars.},
year = {1996},
journal = {J. Log. Lang. Inf.},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/Buszkowski96,
title = {The finite model property for BCI.},
year = {1996},
journal = {Stud Logica},
author = {{Wojciech Buszkowski}}
}
@incollection{books/el/97/Buszkowski97,
title = {Mathematical Linguistics and Proof Theory.},
year = {1997},
booktitle = {Handbook of Logic and Language},
author = {{Wojciech Buszkowski}},
publisher = {North Holland / Elsevier},
booktitle = {Handbook of Logic and Language.}
}
@article{journals/fuin/BuszkowskiK97,
title = {Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models).},
year = {1997},
journal = {Fundam. Informaticae},
author = {{Wojciech Buszkowski} and {Miroslawa Kolowska-Gawiejnowics}}
}
@inproceedings{conf/RelMiCS/Buszkowski98,
title = {More on embeddings of residuated semigroups into algebras of binary relations.},
year = {1998},
booktitle = {RelMiCS},
author = {{Wojciech Buszkowski}},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, September 14-20, 1998}
}
@inproceedings{conf/rsctc/Buszkowski98,
title = {Approximation Spaces and Definability for Incomplete Information Systems.},
year = {1998},
booktitle = {Rough Sets and Current Trends in Computing},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings}
}
@article{journals/tcs/Buszkowski98,
title = {Algebraic Structures in Categorial Grammar.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Wojciech Buszkowski}}
}
@inproceedings{conf/RelMiCS/Buszkowski01,
title = {Pregroups: Models and Grammars.},
year = {2001},
booktitle = {RelMiCS},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers}
}
@inproceedings{conf/lacl/Buszkowski01,
title = {Lambek Grammars Based on Pregroups.},
year = {2001},
booktitle = {LACL},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings}
}
@article{journals/mlq/Buszkowski02,
title = {Finite Models of Some Substructural Logics.},
year = {2002},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/BuszkowskiM02,
title = {Editorial Introduction.},
year = {2002},
journal = {Stud Logica},
author = {{Wojciech Buszkowski} and {Michael Moortgat}}
}
@incollection{conf/RelMiCS/Buszkowski03,
title = {Relational Models of Lambek Logics.},
year = {2003},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers}
}
@inproceedings{conf/birthday/Buszkowski03,
title = {Syntactic Calculus and Pregroups.},
year = {2003},
booktitle = {Grammars and Automata for String Processing},
author = {{Wojciech Buszkowski}},
publisher = {Taylor and Francis},
booktitle = {Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun}
}
@article{journals/mlq/Buszkowski03,
title = {Sequent systems for compact bilinear logic.},
year = {2003},
journal = {Math. Log. Q.},
author = {{Wojciech Buszkowski}}
}
@article{journals/rml/Buszkowski04,
title = {A Representation Theorem for Co-diagonalizable Algebras.},
year = {2004},
journal = {Reports Math. Log.},
author = {{Wojciech Buszkowski}}
}
@inproceedings{conf/RelMiCS/Buszkowski06,
title = {On the Complexity of the Equational Theory of Relational Action Algebras.},
year = {2006},
booktitle = {RelMiCS},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings}
}
@article{journals/fuin/Buszkowski07,
title = {Rough Sets and Learning by Unification.},
year = {2007},
journal = {Fundam. Informaticae},
author = {{Wojciech Buszkowski}}
}
@article{journals/logcom/Buszkowski07,
title = {On Action Logic: Equational Theories of Action Algebras.},
year = {2007},
journal = {J. Log. Comput.},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/Buszkowski07,
title = {Type Logics and Pregroups.},
year = {2007},
journal = {Stud Logica},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/BuszkowskiP07,
title = {Editorial Introduction.},
year = {2007},
journal = {Stud Logica},
author = {{Wojciech Buszkowski} and {Anne Preller}}
}
@article{journals/rml/Buszkowski08,
title = {On the complexsity of some substructural logics.},
year = {2008},
journal = {Reports Math. Log.},
author = {{Wojciech Buszkowski}}
}
@article{journals/sLogica/BuszkowskiP08,
title = {Infinitary Action Logic: Complexity, Models and Grammars.},
year = {2008},
journal = {Stud Logica},
author = {{Wojciech Buszkowski} and {Ewa Palka}}
}
@inproceedings{conf/birthday/BuszkowskiF09,
title = {Nonassociative Lambek Calculus with Additives and Context-Free Languages.},
year = {2009},
booktitle = {Languages: From Formal to Natural},
author = {{Wojciech Buszkowski} and {Maciej Farulewski}},
publisher = {Springer},
booktitle = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday}
}
@inproceedings{conf/lata/BuszkowskiL10,
title = {Pregroup Grammars with Letter Promotions.},
year = {2010},
booktitle = {LATA},
author = {{Wojciech Buszkowski} and {Zhe Lin 002}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings}
}
@article{journals/igpl/Buszkowski11,
title = {Interpolation and FEP for logics of residuated algebras.},
year = {2011},
journal = {Log. J. IGPL},
author = {{Wojciech Buszkowski}}
}
@article{journals/jcss/BuszkowskiLM12,
title = {Pregroup grammars with letter promotions: Complexity and context-freeness.},
year = {2012},
journal = {J. Comput. Syst. Sci.},
author = {{Wojciech Buszkowski} and {Zhe Lin 002} and {Katarzyna Moroz}}
}
@inproceedings{conf/birthday/Buszkowski14,
title = {Multi-Sorted Residuation.},
year = {2014},
booktitle = {Categories and Types in Logic, Language, and Physics},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday}
}
@inproceedings{conf/lacl/Buszkowski14,
title = {An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents.},
year = {2014},
booktitle = {LACL},
author = {{Wojciech Buszkowski}},
publisher = {Springer},
booktitle = {Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings}
}
@inproceedings{conf/lacl/Buszkowski16,
title = {On Classical Nonassociative Lambek Calculus.},
year = {2016},
booktitle = {LACL},
author = {{Wojciech Buszkowski}},
booktitle = {Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings}
}
@article{journals/jolli/Buszkowski19,
title = {On Involutive Nonassociative Lambek Calculus.},
year = {2019},
journal = {J. Log. Lang. Inf.},
author = {{Wojciech Buszkowski}}
}