Welcome to the University of Lodz Repository (RUŁ). The Repository collects and facilitates didactic materials and current intellectual output of the university research workers. It is a platform facilitating scientific resources and integrating the university with the other sources of information science. The Repository operates on the basis of regulation of President of the University of Lodz (Rector) No.51 of 31.03.2015.

In order to deposit the documents please contact: Staff of the University of Lodz Repository (RUŁ). Aleksandra Brzozowska, Lidia Mikołajuk, Anna Wardowska, Joanna Mróz Room 106, e-mail: repozytorium@lib.uni.lodz.pl

  • On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 

    Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
    This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only ...
  • A Syntactic Approach to Closure Operation 

    Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
    In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role ...
  • An Inferentially Many-Valued Two-Dimensional Notion of Entailment 

    Blasio, Carolina; Marcos, João; Wansing, Heinrich (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
    Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely ...
  • Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 

    Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
    In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] ...
  • Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 

    Ciuciura, Janusz (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
    In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau ...

View more