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 | |
Lidia Mikołajuk | |
Joanna Mróz | |
Anna Zatora | |
Marta Gołuchowska | |
Biblioteka Uniwersytetu Łódzkiego, p 109, I piętro. | |
Zbiory w Repozytorium
Wybierz zbiór, którego kolekcje chcesz przeglądać.
Ceraneum [13]
Ostatnio dodane
-
Osoby z niepełnosprawnością w dobie pandemii – perspektywa kanadyjska
(Wydawnictwo Uniwersytetu Łódzkiego, 2022)The article is an attempt to analyze the situation of people with disabilities in Canada during the pandemic, and at the same time an incentive to find good practices inspiring to implement solutions promoting the ... -
Weakly Free Multialgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ... -
A Sequent Systems without Improper Derivations
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-10-14)In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others ... -
Sequent Calculi for Orthologic with Strict Implication
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with ... -
A Note on the Intuitionistic Logic of False Belief
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-01)In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is ...