- Tytuł:
- Linear Abelian Modal Logic
- Autorzy:
- Mohammadi, Hamzeh
- Data publikacji:
- 2024
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki