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Ł). repozytorium@lib.uni.lodz.pl
Aleksandra Brzozowska
Lidia Mikołajuk
Joanna Mróz
Anna Zatora
Marta Gołuchowska
Room 109,

Select a community to browse its collections.

Ceraneum [13]
Czasopisma naukowe / Scientific Journals [23837]
Koła Naukowe UŁ / University of Lodz Academic Clubs [249]
  • Osoby z niepełnosprawnością w dobie pandemii – perspektywa kanadyjska 

    Skalska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2022)
    The article is an attempt to analyze the situation of people with disabilities in Canada during the pandemic, and at the same time an incentive to find good practices inspiring to implement solutions promoting the ...
  • Weakly Free Multialgebras 

    Coniglio, Marcelo Esteban; Vicentin de Toledo, Guilherme (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ...
  • A Sequent Systems without Improper Derivations 

    Sasaki, Katsumi (Wydawnictwo Uniwersytetu Łódzkiego, 2021-10-14)
    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, and others ...
  • Sequent Calculi for Orthologic with Strict Implication 

    Kawano, Tomoaki (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
    In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with ...
  • A Note on the Intuitionistic Logic of False Belief 

    Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-01)
    In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is ...

View more