8 found
Order:
  1.  14
    The Equivalence of Nonassociative Lambek Categorial Grammars and Context‐Free Grammars.Maciej Kandulski - 1988 - Mathematical Logic Quarterly 34 (1):41-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  25
    The Equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars.Maciej Kandulski - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):41-52.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  16
    Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
    We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF-languages. MSC: 68Q50, 03D15, 03B65.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  38
    On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
    Two axiomatizations of the nonassociative and commutative Lambek syntactic calculus are given and their equivalence is proved. The first axiomatization employs Permutation as the only structural rule, the second one, with no Permutation rule, employs only unidirectional types. It is also shown that in the case of the Ajdukiewicz calculus an analogous equivalence is valid only in the case of a restricted set of formulas. Unidirectional axiomatizations are employed in order to establish the generative power of categorial grammars based on (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  18
    Phrase Structure Languages Generated by Categorial Grammars With Product.Maciej Kandulski - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):373-383.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  15
    Completeness and Axiomatizability Theorems for the Non-Associative Lambek Syntactic Calculus.Maciej Kandulski - 1985 - Bulletin of the Section of Logic 14 (4):164-169.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  7
    Phrase Structure Languages Generated by Categorial Grammars With Product.Maciej Kandulski - 1988 - Mathematical Logic Quarterly 34 (4):373-383.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Categorial Grammars with Structural Rules.Maciej Kandulski - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 57:221-238.
    Direct download  
     
    Export citation  
     
    Bookmark