Przeglądaj Czasopisma naukowe | Scientific Journals według autora "Takano, Mitio"

Wyświetlanie pozycji 1-3 z 3

    • Axiomatization of a Basic Logic of Logical Bilattices 

      Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.

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

    • New Modification of the Subformula Property for a Modal Logic 

      Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a ...