- Tytuł:
- A Post-style proof of completeness theorem for symmetric relatedness logic S
- Autorzy:
- Klonowski, Mateusz Autor
- Współwytwórcy:
- Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
- Tematy:
-
Relatedness logic
Metamatematyka - Pokaż więcej
- Data publikacji:
- 2018
- Dostawca treści:
- Academica
Artykuł