Now showing items 1-5 of 5

    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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. ...