- Tytuł:
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- Autorzy:
- Płaczek, Paweł
- Data publikacji:
- 2020-11-13
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Substructural logic
Lambek calculus
nonassociative linear logic
sequent system
PTime complexity - Dostawca treści:
- Biblioteka Nauki
Artykuł