- Tytuł:
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
- Autorzy:
-
Ayhan, Sara
Wansing, Heinrich - Data publikacji:
- 2023
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
bilateralism
bi-intuitionistic logic \(\mathtt{2Int}\)
cut-elimination
identity of derivations
synonymy - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł