Wojciech Buszkowski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2019

On Involutive Nonassociative Lambek CalculusWojciech Buszkowski. jolli, 28(2):157-181, 2019. [doi]

2016

On Classical Nonassociative Lambek CalculusWojciech Buszkowski. lacl 2016: 68-84 [doi]

2014

Multi-Sorted ResiduationWojciech Buszkowski. BIRTHDAY 2014: 136-155 [doi]

An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of SequentsWojciech Buszkowski. lacl 2014: 30-43 [doi]

2012

Pregroup grammars with letter promotions: Complexity and context-freenessWojciech Buszkowski, Zhe Lin, Katarzyna Moroz. jcss, 78(6):1899-1909, 2012. [doi]

2011

Interpolation and FEP for logics of residuated algebrasWojciech Buszkowski. igpl, 19(3):437-454, 2011. [doi]

2010

Pregroup Grammars with Letter PromotionsWojciech Buszkowski, Zhe Lin. LATA 2010: 130-141 [doi]

2009

Nonassociative Lambek Calculus with Additives and Context-Free LanguagesWojciech Buszkowski, Maciej Farulewski. birthday 2009: 45-58 [doi]

2008

Infinitary Action Logic: Complexity, Models and GrammarsWojciech Buszkowski, Ewa Palka. sLogica, 89(1):1-18, 2008. [doi]

On the complexsity of some substructural logicsWojciech Buszkowski. rml, 43:5-24, 2008. [doi]

2007

Editorial IntroductionWojciech Buszkowski, Anne Preller. sLogica, 87(2-3):139-144, 2007. [doi]

On Action Logic: Equational Theories of Action AlgebrasWojciech Buszkowski. logcom, 17(1):199-217, 2007. [doi]

Rough Sets and Learning by UnificationWojciech Buszkowski. FUIN, 75(1-4):107-121, 2007. [doi]

Type Logics and PregroupsWojciech Buszkowski. sLogica, 87(2-3):145-169, 2007. [doi]

2006

On the Complexity of the Equational Theory of Relational Action AlgebrasWojciech Buszkowski. RelMiCS 2006: 106-119 [doi]

2004

A Representation Theorem for Co-diagonalizable AlgebrasWojciech Buszkowski. rml, 38:13-22, 2004. [doi]

2003

Sequent systems for compact bilinear logicWojciech Buszkowski. mlq, 49(5):467-474, 2003. [doi]

Relational Models of Lambek LogicsWojciech Buszkowski. RelMiCS 2003: 196-213 [doi]

Syntactic Calculus and PregroupsWojciech Buszkowski. BIRTHDAY 2003: 203-214

2002

Finite Models of Some Substructural LogicsWojciech Buszkowski. mlq, 48(1):63-72, 2002. [doi]

Editorial IntroductionWojciech Buszkowski, Michael Moortgat. sLogica, 71(3):261-275, 2002.

2001

Pregroups: Models and GrammarsWojciech Buszkowski. RelMiCS 2002: 35-49 [doi]

Lambek Grammars Based on PregroupsWojciech Buszkowski. lacl 2001: 95-109 [doi]

1998

Algebraic Structures in Categorial GrammarWojciech Buszkowski. TCS, 199(1-2):5-24, 1998. [doi]

More on embeddings of residuated semigroups into algebras of binary relationsWojciech Buszkowski. RelMiCS 1998: 33-36

Approximation Spaces and Definability for Incomplete Information SystemsWojciech Buszkowski. rsctc 1998: 115-122 [doi]

1997

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)Wojciech Buszkowski, Miroslawa Kolowska-Gawiejnowics. FUIN, 31(1):1-12, 1997.

Mathematical Linguistics and Proof TheoryWojciech Buszkowski. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 683-736, North Holland / Elsevier, 1997. [doi]

1996

The finite model property for BCIWojciech Buszkowski. sLogica, 57(2/3):303-323, 1996.

Extending Lambek Grammars to Basic Categorial GrammarsWojciech Buszkowski. jolli, 5(3/4):279-295, 1996.

1990

On Generative Capacity of the Lambek CalculusWojciech Buszkowski. jelia 1991: 139-152

Categorial grammars determined from linguistic data by unificationWojciech Buszkowski, Gerald Penn. sLogica, 49(4):431-454, 1990. [doi]

1989

Presuppositional completenessWojciech Buszkowski. sLogica, 48(1):23-34, 1989. [doi]

1988

Gaifman's theorem on categorial grammars revisitedWojciech Buszkowski. sLogica, 47(1):23-33, 1988. [doi]

1986

Completeness Results for Lambek Syntactic CalculusWojciech Buszkowski. mlq, 32(1-5):13-28, 1986. [doi]

Embedding Boolean Structures into Atomic Boolean StructuresWojciech Buszkowski. mlq, 32(13-16):227-228, 1986. [doi]

1985

Concerning the Axioms of Ackermann's Set TheoryWojciech Buszkowski. mlq, 31(1-6):63-70, 1985. [doi]

1982

Compatibility of a Categorial Grammar With an Associated Category SystemWojciech Buszkowski. mlq, 28(14-18):229-238, 1982. [doi]

Some Decision Problems in the Theory of Syntactic CategoriesWojciech Buszkowski. mlq, 28(33-38):539-548, 1982. [doi]

1980

Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-AutomataWojciech Buszkowski. mlq, 26(1-6):41-49, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL