Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Dymek, Anna" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Kazimierz Trzęsicki, Logika temporalna. Wybrane zagadnienia
    Kazimierz Trzęsicki, Logika temporalna. Wybrane zagadnienia [Temporal logic: Selected issues]
    Autorzy:
    Kozanecka-Dymek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2013019.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 2; 193-199
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    (rec.) Michał Adamczyk. Wiedza – wiara – racjonalność. Jana Franciszka Drewnowskiego program logizującej modernizacji myśli filozoficzno – teologicznej, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II, Lublin 2015
    Autorzy:
    Kozanecka-Dymek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/430921.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Źródło:
    Studia Philosophiae Christianae; 2016, 52, 2; 160-169
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych
    Place logic and its possible applications in a logical analysis of legal reasoning
    Autorzy:
    Kozanecka-Dymek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/1622189.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
    Tematy:
    topological logic
    place logic
    applications
    analysis
    legal language
    legal reasoning
    język prawniczy
    analiza
    zastosowania
    logika miejsca
    logika topologiczna
    rozumowania prawnicze
    Opis:
    The subject of the consideration contained in the article is topological logic interpreted as place logic and its possible applications in a logical analysis of legal reasoning. The first part of the article is about significance of widely understood spatial element in a law and about a role of formal logic in legal sciences (especially in dogmatic of law) and in legal discourse. There are also given conditions imposed on logical systems which can be applied to analyse legal reasoning. In the second part there is characterization of topological logic interpreted as place logic. In the third part there are examples of formalization of sentences of legal language and of legal inferences using symbols occurring in place logic. In the article there is shown that such kind of logic can be applied to logical analysis some reasoning conducted in legal language, specifically such reasoning in which there appear sentences including, in an explicit or a hidden way, phrase “in place”, that is, information about that, where certain events are realized.
    Źródło:
    Analiza i Egzystencja; 2016, 33; 51-68
    1734-9923
    2300-7621
    Pojawia się w:
    Analiza i Egzystencja
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Geneza niektórych systemów logiki temporalnej
    The Origin of Some Systems of Temporal Logic
    Autorzy:
    Kozanecka-Dymek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2013059.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    geneza
    logika temporalna
    zwroty czasowe
    funktory czasowe
    origin
    temporal logic
    tense clauses
    temporal functors
    Opis:
    The article is devoted to the question of the origin of temporal logic. The aim of it is to answer to the question concerning the group of conditions and reasons of constructing such kinds of systems (especially of tense logic and G. H. von Wright’s temporal logic). As a result of conducted considerations, there is stated that there exist two reasons of arising some temporal systems. The first of them was the rebirth of interests of issues involving time in aspect of logic, the second (more essential) – insufficiency of the language of the classical logical calculus to give the formalization of tense clauses. In connection with this there was begun constructing temporal systems providing the linguistic and inferencional apparatus needed to control expressions and inferences containing such clauses. In the article there is also shown how there was led to formalize expressions including various tense clauses, and what follows, to introduce new functors to the language of logic.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 1; 75-90
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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