output
20212026
most citedComplexity of Nonassociative Lambek Calculus with classical logic

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

3 papers

cs.LO2026

Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus

Paweł Płaczek, Cheng-Syuan Wan

Cyclic Linear Logic (CyMALL, CyBL) is a compromise between Commutative Linear Logic (MALL) and Noncommutative Linear Logic (Bilinear Logic, BL). We do not admit commutativity of th…

cs.LO2024★ 2 cited

Complexity of Nonassociative Lambek Calculus with classical logic

Paweł Płaczek

The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its…

math.GM2021

An unusual identity for odd-powers

Petro Kolosov

In this manuscript we provide a new polynomial pattern. This pattern allows to find a polynomial expansion of the form \[x^{2m+1} = \sum_{k=1}^{x}\sum_{r=0}^{m} \mathbf{A}_{m,r} k^…