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
Room 106,

  • Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations 

    Pynko, Alexej P. (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ...
  • Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations 

    Niki, Satoru (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ...
  • Length Neutrosophic Subalgebras of BCK=BCI-Algebras 

    Jun, Young Bae; Khan, Madad; Smarandache, Florentin; Song, Seok-Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)-length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ...
  • From Intuitionism to Brouwer's Modal Logic 

    Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ...
  • The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden 

    Makinson, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...

View more