RSS 1.0
| 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
-
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, ... -
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 ... -
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 ... -
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms ... -
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, ...