Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Paweł Płaczek"'
Autor:
Paweł Płaczek
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 2, Pp 245-274 (2024)
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger fram
Externí odkaz:
https://doaj.org/article/8d2429e1ed5f4a759d17b12e703ac9dc
Autor:
Paweł Płaczek
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 1, Pp 55-80 (2021)
Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the nonassociative version of t
Externí odkaz:
https://doaj.org/article/ce540662b17040e2b8f40cc7f099b277