- Tytuł:
- A Post-style proof of completeness theorem for symmetric relatedness Logic S
- Autorzy:
- Klonowski, Mateusz
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
normal forms
Post-style proof of completeness
relatedness logic
relating logic - Dostawca treści:
- Biblioteka Nauki
Artykuł