- Tytuł:
- Labeled Sequent Calculus for Orthologic
- Autorzy:
- Kawano, Tomoaki
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
quantum logic
sequent calculus
cut-elimination theorem
decidability
Kripke model - Dostawca treści:
- Biblioteka Nauki
Artykuł