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ę "Klonowski, Mateusz" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Metoda tablicowa a poprawność rozumowań (Rec.: Tomasz Jarmużek, Formalizacja metod tablicowych dla logik zdań i logik nazw)
    Tableau Methods and a Validity of Arguments
    Autorzy:
    Klonowski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488665.pdf
    Data publikacji:
    2016
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2016, 64, 2; 155-158
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Post-style proof of completeness theorem for symmetric relatedness Logic S
    Autorzy:
    Klonowski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/749984.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    normal forms
    Post-style proof of completeness
    relatedness logic
    relating logic
    Opis:
    One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rozumowanie Mistrza a determinizm, rec. z: Tomasz Jarmużek, Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa, Wydawnictwo Naukowe UMK, Toruń 2013.
    Autorzy:
    Klonowski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/1622176.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
    Opis:
    Recenzja książki: Tomasz Jarmużek, Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa, Wydawnictwo Naukowe UMK, Toruń 2013.
    Źródło:
    Analiza i Egzystencja; 2016, 33; 109-116
    1734-9923
    2300-7621
    Pojawia się w:
    Analiza i Egzystencja
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania
    The Problem of Logical Omniscience: An Alternative to Non-normal Worlds
    Autorzy:
    Klonowski, Mateusz
    Krawczyk, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/968700.pdf
    Data publikacji:
    2019-03-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    In this paper, we bring up the problem of logical omniscience in epistemic logic. One way of avoiding the problem is through Rantala models, where non-normal worlds are introduced. Such models are vulnerable to criticism, as we show. One of many issues that occur is the Bjerring result, which states that incorporating non-normal worlds makes the agent logically incompetent. For this reason, we propose a different solution based on positional logics.
    Źródło:
    Filozofia Nauki; 2019, 27, 1; 27-48
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bayesian Propositional Logic
    Autorzy:
    Jarmużek, Tomasz
    Klonowski, Mateusz
    Malinowski, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/750026.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    logical entailment
    statistical inference
    Bayesian inference
    corroboration
    confirmation
    Opis:
    We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Evaluation and statistical interpretation of low-temperature geothermal energy potential for selected locations in Poland
    Autorzy:
    Kłonowski, Maciej R.
    Kocyła, Jacek
    Ryżyński, Grzegorz
    Żeruń, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2059670.pdf
    Data publikacji:
    2020
    Wydawca:
    Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
    Tematy:
    low-temperature geothermal energy
    geological databases
    statistical analysis
    GIS
    Opis:
    Fulfilling the binding national, EU and other international regulations and requirements on climate and energy implies significant growth of renewables share in the total mix of energy production in Poland. Low-temperature geothermal energy extracted with the use of the ground source heat pumps (GSHP) is an efficient and reliable source for space heating, cooling and seasonal thermal energy storage and recovery, thus it contributes to reduction of low emissions and improvement of air quality. GSHP effectiveness is to a high degree determined by local geological and hydrogeological settings, therefore identification of natural properties of the subsurface is crucial for appropriate design and subsequent operation of the GSHP installations. The thermal conductivity λ of rocks and soils, a key geothermal parameter, depends on such features as the mineral composition of rocks and soils, their texture and water content. Relevant geological data is retrieved from thematic databases, atlases and serial maps and can be gathered in a unitary database with a uniform structure to enable spatial analysis with the use of GIS techniques. Reclassification of lithological properties into geothermal parameters and subsequent calculations of λ values (W/m·K) of rock and soil types can be made using a specific algorithm. The results of these calculations enables computation of four spatial layers of average geothermal conductivity coefficient λ (W/m·K), respectively for the depth intervals of 0-40, 41-70, 71-100 and 101-130 metres b.g.l.
    Źródło:
    Geological Quarterly; 2020, 64, 2; 506--514
    1641-7291
    Pojawia się w:
    Geological Quarterly
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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