Autor: Petrukhin, Yaroslav Autor - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Natural deduction for four-valued both regular and monotonic logics
Autorzy:: Petrukhin, Yaroslav. Autor
Data publikacji:: 2018
Tematy:: Dedukcja naturalna
Belnap, Nuel (1930- )
Logika wielowartościowa
Dunn, Jon Michael (1941- )
Kleene, Stephen Cole (1909- ); Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Natural deduction for three-valued regular logics
Autorzy:: Petrukhin, Yaroslav. Autor
Data publikacji:: 2017
Tematy:: Dedukcja naturalna
Logika trójwartościowa
Logika matematyczna
Kleene, Stephen Cole (1909- ); Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Normalisation for some quite interesting many-valued logics
Współwytwórcy:: Kürbis, Nils Autor
Petrukhin, Yaroslav Autor
Data publikacji:: 2021
Tematy:: Paradoks
Logika trójwartościowa
Dedukcja naturalna
Normalizacja
Logika czterowartościowa; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
Współwytwórcy:: Shangin, Vasilyi Autor
Petrukhin, Yaroslav Autor
Data publikacji:: 2019
Tematy:: Dedukcja naturalna
Logika trójwartościowa
Algorytmy
Automatyczne dowodzenie twierdzeń
Dowodzenie (logika); Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On a multilattice analogue of a hypersequent S5 calculus
Współwytwórcy:: Grigorev, Oleg Mihajlovič Autor
Petrukhin, Yaroslav Autor
Data publikacji:: 2019
Tematy:: Logika zdań
Logika modalna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
Współwytwórcy:: Grigorev, Oleg Mihajlovič Autor
Katedra Logiki i Metodologii Nauk (Uniwersytet Łódzki)
Petrukhin, Yaroslav Autor
Data publikacji:: 2021
Tematy:: Krata (matematyka)
Rachunek sekwentów
Logika modalna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The method of Socratic proofs meets correspondence analysis
Współwytwórcy:: Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Shangin, Vasilyi Autor
Petrukhin, Yaroslav Autor
Leszczyńska-Jasion, Dorota Autor
Data publikacji:: 2019
Tematy:: Rachunek sekwentowy
Logika pytań
Klasyczny rachunek zdań; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Functional completeness in CPL via correspondence analysis
Współwytwórcy:: Shangin, Vasilyi Autor
Jukiewicz, Marcin Autor
Petrukhin, Yaroslav Autor
Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Leszczyńska-Jasion, Dorota Autor
Data publikacji:: 2019
Tematy:: Logika klasyczna
Rachunek sekwentowy
Funkcja boolowska
Automatyczne dowodzenie twierdzeń; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

Szczegóły

Informacja