| 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. | |
Zbiory w Repozytorium
Ostatnio dodane
-
Semi-Substructural Logics à la Lambek with Symmetry
(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
(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
(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
(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)
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
