Search
Now showing items 1-3 of 3
Axiomatization of a Basic Logic of Logical Bilattices
(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
(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
(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 ...