Czasopisma naukowe | Scientific Journals: Ostatnio dodane
Wyświetlanie pozycji 7241-7260 z 31471
-
Tableaux for some deontic logics with the explicit permission operator
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are ... -
A Paradox for the Existence Predicate
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-10)In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities ... -
A Classification of Improper Inference Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to ... -
A Benchmark Similarity Measures for Fermatean Fuzzy Sets
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-08)In this paper, we utilized triangular conorms (S-norm). The essence of using S-norm is that the similarity order does not change using different norms. In fact, we are investigating for a new conception for calculating the ... -
A Variant of Material Connexive Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our ... -
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-07)Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails ... -
Proof Compression and NP Versus PSPACE II: Addendum
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-01-07)In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding ... -
Models of Bounded Arithmetic Theories and Some Related Complexity Questions
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-07)In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an ... -
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-01-07)This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic ... -
Trzy oblicza utopizmu — rewizja
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
Sztuka pisania listów. Rozmowa z Profesorem Jerzym Bralczykiem
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
Małgorzata Okupnik, W niewoli ciała. Doświadczenie utraty zdrowia i jego reprezentacje, Universitas, Kraków 2018, ss. 553 [recenzja]
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
Anna Boguska, Życie na wyspach. Chorwacka współczesna proza insularna, Instytut Slawistyki Polskiej Akademii Nauk, Warszawa 2020, ss. 232 [recenzja]
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
Leszek Żyliński, Zmienne pola dialogu. Rzecz o Polakach i Niemcach, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Toruń 2020, ss. 301 [recenzja]
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
Jarosław i Anna Iwaszkiewiczowie, Jerzy Lisowski, Listy 1947–1979, Wydawnictwo Akademickie Sedno, Warszawa 2020, ss. 1168 [recenzja]
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021) -
„Listy pisze Pan tak samo jak książki”. Wokół korespondencji Wiktora Woroszylskiego z Jerzym Stempowskim, Jerzym Giedroyciem i Zbigniewem Żakiewiczem
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021)The aim of this article is to analyze the collection of letters between Wiktor Woroszylski and the writers: Jerzy Stempowski, Jerzy Giedroyc and Zbigniew Żakiewicz. It is based on two volumes of Woroszylski’s letters, ... -
Wokół genezy Zawiszy Czarnego Juliusza Słowackiego w świetle korespondencji poety oraz jego bliskich
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021)Juliusz Słowacki’s drama Zawisza Czarny [Zawisza the Black] is one of the poet’s least described and analysed works. This drama is one of the last literary texts of the poet (next to Samuel Zborowski from 1845), written ... -
Podwójnie zapośredniczony konterfekt. O autokreacji i jej weryfikacji na przykładzie korespondencji Józefa Pilcha
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021)In the article the question of constructing an image through epistolography is discussed based on the examples of Józef Pilch — a bibliophile and historian amateur from Ustroń in Cieszyn Silesia. The volume of his ... -
Elementy Hermeneutyki podmiotu Michela Foucaulta w powojennej korespondencji Jarosława Iwaszkiewicza z Jerzym Lisowskim
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021)The article analyses the phenomena occurring in epistolary, namely the exchange of letters. The newly published correspondence of Jerzy Lisowski with Anna and Jarosław Iwaszkiewicz, during a very specific period, when, ... -
Dialogowość listu w świetle koncepcji polifonicznego Ja
(Łódzkie Towarzystwo Naukowe; Wydawnictwo Uniwersytetu Łódzkiego, 2021)The article is focused on the phenomenon of dialogicality in the letter, which is first discussed in the light of the existing theories (proposed by Stefania Skwarczyńska or Brigitte Diaz) and extended with new aspects of ...
