Temat: Dedukcja naturalna - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Dedukcja naturalna" wg kryterium: Temat

Wyświetlanie 1-10 z 16

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:: Tkaczyk, Marcin
Tematy:: logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
Autorzy:: Ilić, Mirjana (1966- ). Autor
Tematy:: Dedukcja naturalna
Logika relewantna
Rachunek sekwentowy; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Commentary and illocutionary expressions in linear calculi of natural deduction
Autorzy:: Cordes, Moritz (1984- ). Autor
Współwytwórcy:: Reinmuth, Friedrich (1939- ). Autor
Tematy:: Dedukcja naturalna
Logika formalna; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From Gentzen to Jaskowski and back : algorithmic translation of derivations between the two main systems of natural deduction
Autorzy:: Plato, Jan von (1951- ). Autor
Tematy:: Dedukcja naturalna; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Natural deduction for three-valued regular logics
Autorzy:: Petrukhin, Yaroslav. Autor
Tematy:: Dedukcja naturalna
Logika trójwartościowa
Logika matematyczna
Kleene, Stephen Cole (1909- ); Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A simulation of natural deduction and Gentzen sequent calculus
Autorzy:: Kožemâčenko, Daniil Andreevič. Autor
Tematy:: Dedukcja naturalna
Rachunek sekwentowy
Gentzen, Gerhard (1909-1945); Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Elementy logiki matematycznej i metodologii nauk ścisłych
Autorzy:: Jaśkowski, Stanisław (1906-1965). Autor
Współwytwórcy:: Indrzejczak, Andrzej (1964- ). Opracowanie Wstęp
Wydawnictwo Uniwersytetu Łódzkiego. Wydawca
Tematy:: Dedukcja naturalna
Logika matematyczna; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Academica

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Natural deduction for four-valued both regular and monotonic logics
Autorzy:: Petrukhin, Yaroslav. Autor
Tematy:: Dedukcja naturalna
Belnap, Nuel (1930- )
Logika wielowartościowa
Dunn, Jon Michael (1941- )
Kleene, Stephen Cole (1909- ); Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A binary quantifier for definite descriptions in intuitionist negative free logic : natural deduction and normalisation
Autorzy:: Kürbis, Nils Autor
Tematy:: Dedukcja naturalna
Logika wolna
Kwantyfikator
Teoria deskrypcji
Logika intuicjonistyczna; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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ł

na półce

Szczegóły

Wyświetlanie 1-10 z 16

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "Dedukcja naturalna" wg kryterium: Temat

Źródło danych

Dostawca treści

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język

Kolekcja