Temat: logika intuicjonistyczna - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej
Autorzy:: Anna Monika Glenszczyk
Data publikacji:: 2017
Słowa kluczowe:: logika intuicjonistyczna
Intuicjonistyczna Logika Kontrolna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Śląskiego w Katowicach

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Instantiation overflow
Autorzy:: Dinis, Bruno. Autor
Współwytwórcy:: Ferreira, Gilda. Autor
Data publikacji:: 2016
Tematy:: Logika intuicjonistyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Empirical negation, co-negation and the contraposition rule. 2, Proof-theoretical investigations
Autorzy:: Niki, Satoru Autor
Data publikacji:: 2020
Tematy:: Rachunek sekwentów
Logika intuicjonistyczna
Negacja; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Filozofia i logika intuicjonizmu
Autorzy:: Fila, Marlena
Data publikacji:: 2015
Tematy:: Logika intuicjonistyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: An alternative intuitionistic version of Mallys deontic logic
Autorzy:: Lokhorst, Gert-Jan C. (1957- ). Autor
Data publikacji:: 2016
Tematy:: Logika deontyczna
Logika intuicjonistyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Monadic fragments of intuitionistic control logic
Autorzy:: Glenszczyk, Anna. Autor
Data publikacji:: 2016
Tematy:: Logika formalna
Logika intuicjonistyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Pragmatic and dialogic interpretations of bi-intuitionism. Pt 1
Współwytwórcy:: Chiffi, Daniele
Menti, Alessandro
Carrara, Massimiliano
Bellin, Gianluigi
Data publikacji:: 2014
Tematy:: Logika intuicjonistyczna
Intuicjonizm matematyczny; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Errata corrige to "Pragmatic and dialogic interpretation of bi-intuitionism. P. 1"
Współwytwórcy:: Chiffi, Daniele
Menti, Alessandro
Carrara, Massimiliano
Bellin, Gianluigi
Data publikacji:: 2016
Tematy:: Logika intuicjonistyczna
Intuicjonizm matematyczny; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: From intuitionism to Brouwers modal logic
Autorzy:: Kostrzycka, Zofia Autor
Współwytwórcy:: Politechnika Opolska
Data publikacji:: 2020
Tematy:: Logika modalna
Semantyka Kripkego
Logika intuicjonistyczna
Algebra Lindenbauma; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Remarks on stable formulas in intuitionistic logic
Współwytwórcy:: Bibak, Ali Autor
Alizadeh, Majid Autor
Data publikacji:: 2019
Tematy:: Logika intuicjonistyczna
Logika pośrednia
Semantyka Kripkego; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: An investigation into intuitionistic logic with identity
Współwytwórcy:: Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Chlebowski, Szymon Autor
Leszczyńska-Jasion, Dorota Autor
Data publikacji:: 2019
Tematy:: Logika intuicjonistyczna
Rachunek sekwentowy
Semantyka Kripkego
Logika niefregowska; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Topological and multi-topological frames in the context of intuitionistic modal logic
Autorzy:: Witczak, Tomasz (matematyk) Autor
Współwytwórcy:: Instytut Matematyki (Uniwersytet Śląski)
Data publikacji:: 2019
Tematy:: Semantyka Kripkego
Logika intuicjonistyczna
Metamatematyka
Topologia
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ł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Wizualizacje w poznaniu matematycznym a kategoria intuicji przestrzennej
Autorzy:: Sochański, Michał
Data publikacji:: 2013
Tematy:: Logika intuicjonistyczna
Wykres - stosowanie - matematyka
Intuicjonizm matematyczny; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: On displaying negative modalities
Autorzy:: Drobyševič, Sergej Andreevič. Autor
Data publikacji:: 2018
Tematy:: Logika modalna
Logika intuicjonistyczna
Onishi, Takuro (1978- )
Rachunek całkowy; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

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)
Data publikacji:: 2019
Tematy:: Dedukcja naturalna
Kwantyfikator
Logika intuicjonistyczna
Teoria deskrypcji
Logika wolna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: A binary quantifier for definite descriptions in intuitionist negative free logic : natural deduction and normalisation
Autorzy:: Kürbis, Nils Autor
Data publikacji:: 2019
Tematy:: Dedukcja naturalna
Logika wolna
Kwantyfikator
Teoria deskrypcji
Logika intuicjonistyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Some weak variants of the existence and disjunction properties in intermediate predicate logics
Autorzy:: Suzuki, Nobu-Yuki. Autor
Data publikacji:: 2017
Tematy:: Rachunek kwantyfikatorów
Logika pośrednia
Metamatematyka
Logika intuicjonistyczna
Semantyka Kripkego; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Full cut elimination and interpolation for intuitionistic logic with existence predicate
Współwytwórcy:: Orlandelli, Eugenio Autor
Maffezioli, Paolo (1984- ) Autor
Data publikacji:: 2019
Tematy:: Twierdzenie Craiga
Logika intuicjonistyczna
Istnienie (filozofia)
Rachunek sekwentowy; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Forecasting the confidence interval of efficiency in fuzzy DEA
Współwytwórcy:: Daneshian, Behrouz Autor
Rostamy-Malkhalifeh, Mohsen Autor
Kafi, Azarnoosh Autor
Data publikacji:: 2021
Tematy:: Prognozowanie
Matematyka
Metoda DEA
Przemysł motoryzacyjny
Logika intuicjonistyczna
Zbiór rozmyty; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Near rings characterized by intuitionistic fuzzy bi ideals
Współwytwórcy:: Dhilipkumar, Krishnakumar Autor
Ramachandran, M. Autor
Data publikacji:: 2020
Tematy:: Intuicjonizm matematyczny
Pierścień (matematyka)
Ideał (matematyka)
Logika intuicjonistyczna
Zbiór rozmyty; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: A compositional approach to two-stage data envelopment analysis in intuitionistic fuzzy environment
Współwytwórcy:: Javaherian, Nafiseh Autor
Tooranloo, Hossein Sayyadi Autor
Hamzehee, Ali Autor
Data publikacji:: 2021
Tematy:: Liczby trójkątne
Metoda DEA
Efektywność ekonomiczna
Logika intuicjonistyczna
Zbiór rozmyty; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : recenzja
Autorzy:: Wojtylak, Piotr. Recenzent
Współwytwórcy:: Glenszczyk, Anna. Autor pracy
Data publikacji:: 2017
Wydawca:: Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:: Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka; Pokaż więcej
Źródło:: DrBG 3921
Dostawca treści:: Biblioteka Cyfrowa UŚ (dostęp z komputerów bibliotek UŚ)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : recenzja
Autorzy:: Schubert, Aleksy. Recenzent
Współwytwórcy:: Glenszczyk, Anna. Autor pracy
Data publikacji:: 2017
Wydawca:: Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:: Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka; Pokaż więcej
Źródło:: DrBG 3921
Dostawca treści:: Biblioteka Cyfrowa UŚ (dostęp z komputerów bibliotek UŚ)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : streszczenie
Autorzy:: Glenszczyk, Anna
Współwytwórcy:: Połacik, Tomasz. Promotor
Data publikacji:: 2017
Wydawca:: Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:: Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka; Pokaż więcej
Źródło:: DrBG 3921
Dostawca treści:: Biblioteka Cyfrowa UŚ (dostęp z komputerów bibliotek UŚ)

Książka

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej
Autorzy:: Glenszczyk, Anna
Współwytwórcy:: Połacik, Tomasz. Promotor
Data publikacji:: 2017
Wydawca:: Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:: Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka; Pokaż więcej
Źródło:: DrBG 3921
Dostawca treści:: Biblioteka Cyfrowa UŚ (dostęp z komputerów bibliotek UŚ)

Książka

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: The multicriteria group decision making flowsort method under uncertainty
Współwytwórcy:: Frikha, Hela Moalla Autor
Remadi, Fedia Daami Autor
Data publikacji:: 2021
Tematy:: Matematyka stosowana
Niepewność
Analiza wielokryterialna
Decyzje
Liczby rozmyte
Logika intuicjonistyczna
Algorytmy sortowania; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Popper jako antyindukcjonista
Autorzy:: Misiuna, Krystyna
Data publikacji:: 2014
Tematy:: Logika intuicjonistyczna
Popper, Karl R. (1902-1994)
Intuicjonizm matematyczny
Filozofia - historia - Austria; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: On the concept of truth in an intended model of the logic of beliefs
O pojęciu prawdy w modelu zamierzonym logiki przekonań
Autorzy:: Wesserling, Janusz
Nieznański, Edward
Data publikacji:: 2013
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: logic of beliefs
intuitionistic logic
semantics of intended models
concept of truth
logika przekonań
logika intuicjonistyczna
semantyka modeli zamierzonych
pojęcie prawdy; Pokaż więcej
Źródło:: Studia Philosophiae Christianae; 2013, 49, 1; 135-149
0585-5470
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: CZYM JEST PLURALIZM LOGICZNY? (STANOWISKO J.C. BEALLA I GREGA RESTALLA)
WHAT IS LOGICAL PLURALISM? (J.C. BEALL’S AND GREG RESTALL’S STANDPOINT)
Autorzy:: Czernecka-Rej, Bożena
Data publikacji:: 2013
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: pluralizm logiczny
wynikanie logiczne
poprawny system logiczny
logika klasyczna
logika intuicjonistyczna
logika relewantna
logical pluralism
logical consequence
correct logical system
classical logic
intuitionistic logic
relevant logic; Pokaż więcej
Źródło:: Roczniki Filozoficzne; 2013, 61, 1; 5-22
0035-7685
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Intuicjonizm L. Brouwera: źródła, rozwój, znaczenie badań logików polskich
Autorzy:: Krzysztof Śleziński
Data publikacji:: 2025
Słowa kluczowe:: logika intuicjonistyczna; filozofia Brouwera; system Heytinga; Zygmunt Zawirski; Jan Łukasiewicz; Alfred Tarski; Stanisław Jaśkowski; metody aksjomatyczne i macierzowe
Intuitionistic logic; Brouwer’s philosophy; Heyting system; Zygmunt Zawirski; Jan Łukasiewicz; Alfred Tarski; Stanisław Jaskowski; axiomatic and matrices methods; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Śląskiego w Katowicach

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logika intuicjonistyczna" wg kryterium: Temat