Now showing items 1-5 of 5

    • Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation 

      Barzegar, Hasan (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.
    • Positive Implicative Soju Ideals in BCK-Algebras 

      Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ...
    • Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E 

      Typańska-Czajka, Lidia (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...
    • A Modified Subformula Property for the Modal Logic S4.2 

      Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is ...
    • Functional Completeness in CPL via Correspondence Analysis 

      Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only ...