- Tytuł:
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Współwytwórcy:
-
Shangin, Vasilyi Autor
Petrukhin, Yaroslav Autor - Tematy:
-
Dedukcja naturalna
Logika trójwartościowa
Algorytmy
Automatyczne dowodzenie twierdzeń
Dowodzenie (logika) - Pokaż więcej
- Data publikacji:
- 2019
- Dostawca treści:
- Academica
Artykuł