| 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
-
Expansion of Chinese companies to European stock exchanges
(2025)The growing importance of China in the global economy, particularly in production, trade, and finance, has led Chinese companies to become increasingly active in international capital markets. One key manifestation of this ... -
Bridging Classical and Modern Approaches to Thales' Theorem
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)In this paper, we reconstruct Euclid’s theory of similar triangles, as developed in Book VI of the Elements, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, ... -
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical. Schroeder-Heister has remarked that classical ... -
An Elementary Proof of the Characterization Theorem for Conjunctive Multiple-Conclusion Consequence Relations
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-15)We give a characterization theorem for multiple-conclusion consequence relations with the conjunctive reading of conclusions. As in the case of disjunctive multiple-conclusion consequence relations, we define consequence ... -
The Amalgamation Property in the Variety of Regular Double Stone Algebras: A Constructive View
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)In this paper we give a constructive proof that the variety of Boolean algebras has the strong amalgamation property by describing constructively the strong amalgams in the variety. Then, capitalizing on this construction, ...
