Witamy w Repozytorium Uniwersytetu Łódzkiego!
RUŁ gromadzi i udostępnia dorobek naukowy pracowników Uniwersytetu Łódzkiego oraz materiały dydaktyczne. Zasoby deponowane w RUŁ – publikacje, dane badawcze – otrzymują trwały identyfikator (handle). Platforma oparta na oprogramowaniu DSpace udostępnia zasoby naukowe w modelu otwartym, a także umożliwia integrację z innymi źródłami informacji naukowej, m.in. połączenie konta autorskiego z ORCID ID.
 
Repozytorium Uniwersytetu Łódzkiego funkcjonuje w oparciu o Zarządzenie Rektora Uniwersytetu Łódzkiego nr 51 z dnia 31.03.2015 r.
 
W sprawach związanych z deponowaniem dokumentów prosimy o kontakt
z zespołem Repozytorium – e-mail: repozytorium@lib.uni.lodz.pl
 
Aleksandra Brzozowska
Paweł Fiszer
Marta Gołuchowska
Olga Hummel
Anna Zatora
 
Biblioteka Uniwersytetu Łódzkiego, p. 109, I piętro.
 

Wybierz zbiór, którego kolekcje chcesz przeglądać.

Ceraneum [21]
Raporty i dokumenty | Reports and documents [4]
  • Semi-Substructural Logics à la Lambek with Symmetry 

    Wan, Cheng-Syuan (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of ...
  • Agent-Knowledge Logic for Alternative Epistemic Logic 

    Nishimura, Yuki (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of ...
  • Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic 

    Płaczek, Paweł (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence ...
  • Qualified Definiteness 

    Więckowski, Bartosz (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    According to Russell, the definite article ‘the’ in a definite description ‘the F’ is used strictly in case there is a unique F and it is used loosely in case there is more than one F. Russell’s analysis of constructions ...
  • Preface: Non-Classical Logics. Theory and Applications (Part II) 

    Zawidzki, Michał (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)

Pokaż więcej...