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
 
Biblioteka Uniwersytetu Łódzkiego, p 106, I piętro.
 

  • Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations 

    Pynko, Alexej P. (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ...
  • Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations 

    Niki, Satoru (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ...
  • Length Neutrosophic Subalgebras of BCK=BCI-Algebras 

    Jun, Young Bae; Khan, Madad; Smarandache, Florentin; Song, Seok-Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)-length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ...
  • From Intuitionism to Brouwer's Modal Logic 

    Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ...
  • The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden 

    Makinson, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
    We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...

Pokaż więcej...