Wszystkie pola: Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń) - 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ę "Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 10

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: A Post-style proof of completeness theorem for symmetric relatedness logic S
Autorzy:: Klonowski, Mateusz Autor
Współwytwórcy:: Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: Relatedness logic
Metamatematyka; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Kazimierza Ajdukiewicza analiza syntaktyczna a problem wyrażeń niepełnych = Kazimierz Ajdukiewiczs syntactic analysis and the problem of incomplete expressions
Autorzy:: Popławski, Patryk Autor
Współwytwórcy:: Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: Składnia
Filozofia współczesna
Ajdukiewicz, Kazimierz (1890-1963)
Języki naturalne
Filozofia polska
Elipsa (figura stylistyczna); Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A comparison of two systems of point-free topology
Autorzy:: Gruszczyński, Rafał Autor
Współwytwórcy:: Pietruszczak, Andrzej Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: System aksjomatyczny
Topologia bezpunktowa
Mereologia; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On logic of strictly-deontic modalities : a semantic and tableau approach
Współwytwórcy:: Jarmużek, Tomasz Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Klonowski, Mateusz Autor
Tematy:: Modalność (filozofia)
Tableau (logika)
Logika deontyczna
Semantyka logiczna; Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Problem wszechwiedzy logicznej : krytyka światów nienormalnych i propozycja nowego rozwiązania = The problem of logical omniscience : an alternative to non-normal worlds
Współwytwórcy:: Klonowski, Mateusz Autor
Krawczyk, Krzysztof Aleksander Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: Logika epistemiczna
Logika
Teoria światów możliwych
Omniscjencja
Wiedza; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On the definability of Leśniewski's copula 'is' in some ontology-like theories
Autorzy:: Łyczak, Marcin Autor
Współwytwórcy:: Pietruszczak, Andrzej Autor
Katedra Logiki (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: Metamatematyka
Ontologia Leśniewskiego; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Tableau systems for epistemic positional logics
Współwytwórcy:: Klonowski, Mateusz Autor
Pięta, Bożena Autor
Krawczyk, Krzysztof Aleksander Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Tematy:: Tableau (logika)
Logiki pozycyjne
Wszechwiedza
Logika epistemiczna; Pokaż więcej
Data publikacji:: 2021
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On some language extension of logic MR : a semantic and tableau approach
Współwytwórcy:: Parol, Aleksander Autor
Jarmużek, Tomasz Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Instytut Filozofii (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
Tematy:: Logiki pozycyjne; Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Modal Boolean connexive logics : semantics and tableau approach
Współwytwórcy:: Instytut Filozofii i Socjologii (Polska Akademia Nauk)
Jarmużek, Tomasz Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Malinowski, Jacek (1960- ) Autor
Tematy:: Tableau (logika)
Logika koneksywna
Teoria światów możliwych
Logika klasyczna
Logika modalna
Semantyka logiczna; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Jerzy Łoś positional calculus and the origin of temporal logic
Współwytwórcy:: Tkaczyk, Marcin (1976- ) Autor
Jarmużek, Tomasz Autor
Katedra Logiki (Katolicki Uniwersytet Lubelski Jana Pawła II)
Uniwersytet Mikołaja Kopernika (Toruń)
Tematy:: Logiki pozycyjne
Logika temporalna; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 10

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