Autor: Klonowski, Mateusz - Prolib Integro

Skocz do pozycji: 1.

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
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/488665.pdf Link otwiera się w nowym oknie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: A Post-style proof of completeness theorem for symmetric relatedness Logic S
Autorzy:: Klonowski, Mateusz
Tematy:: normal forms
Post-style proof of completeness
relatedness logic
relating logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749984.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Rozumowanie Mistrza a determinizm, rec. z: Tomasz Jarmużek, Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa, Wydawnictwo Naukowe UMK, Toruń 2013.
Autorzy:: Klonowski, Mateusz
Wydawca:: Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Powiązania:: https://bibliotekanauki.pl/articles/1622176.pdf Link otwiera się w nowym oknie
Opis:: Recenzja książki: Tomasz Jarmużek, Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa, Wydawnictwo Naukowe UMK, Toruń 2013.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

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
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Powiązania:: https://bibliotekanauki.pl/articles/968700.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Bayesian Propositional Logic
Autorzy:: Jarmużek, Tomasz
Klonowski, Mateusz
Malinowski, Jacek
Tematy:: logical entailment
statistical inference
Bayesian inference
corroboration
confirmation; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/750026.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

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
Tematy:: low-temperature geothermal energy
geological databases
statistical analysis
GIS; Pokaż więcej
Wydawca:: Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
Powiązania:: https://bibliotekanauki.pl/articles/2059670.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "Klonowski, Mateusz" wg kryterium: Autor