- Tytuł:
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
- Autorzy:
- Buszkowski, Wojciech
- Powiązania:
- https://bibliotekanauki.pl/articles/749946.pdf
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
nonassociative Lambek calculus
linear logic
sequent system
cut elimination
PTIME complexity - Opis:
- In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL). Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.
- Źródło:
-
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł