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-16 z 16

Zaznacz stronę

Skocz do pozycji: 1.

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: 2.

Tytuł:: The phenomenology of second-level inference : perfumes in the deductive garden
Autorzy:: Makinson, David (1941- ) Autor
Tematy:: Dedukcja naturalna
Wnioskowanie (logika); Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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: 4.

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: 5.

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: 6.

Tytuł:: Relevant connexive logic
Autorzy:: Francez, Nissim (1944- ) Autor
Tematy:: Tableau (logika)
Dedukcja naturalna
Logika koneksywna
System aksjomatyczny; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Normalisation for some quite interesting many-valued logics
Współwytwórcy:: Kürbis, Nils Autor
Petrukhin, Yaroslav Autor
Tematy:: Paradoks
Logika trójwartościowa
Dedukcja naturalna
Normalizacja
Logika czterowartościowa; Pokaż więcej
Data publikacji:: 2021
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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: 9.

Tytuł:: Two treatments of definite descriptions in intuitionist negative free logic
Autorzy:: Kürbis, Nils Autor
Współwytwórcy:: Katedra Logiki i Metodologii Nauk (Uniwersytet Łódzki)
Tematy:: Dedukcja naturalna
Kwantyfikator
Logika intuicjonistyczna
Teoria deskrypcji
Logika wolna; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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: 11.

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

Skocz do pozycji: 12.

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: 13.

Tytuł:: Incorrect responses in first-order false-belief tests : a hybrid-logical formalization
Autorzy:: Braüner, Torben (1962- ) Autor
Tematy:: Logika hybrydowa
Teoria umysłu
Dedukcja naturalna
Logika pierwszego rzędu
Błędy
Przekonania; Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

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: 15.

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: 16.

Tytuł:: Peirces triadic logic and its (overlooked) connexive expansion
Autorzy:: Belikov, Alex Autor
Tematy:: Filozofia współczesna
Wartość logiczna
Logika
Peirce, Charles S. (1839-1914). Logical notebook
Dedukcja naturalna
Filozofia amerykańska; Pokaż więcej
Data publikacji:: 2021
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-16 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