Przeglądaj Bulletin of the Section of Logic 49/3 (2020) według tematu "sequent calculus"
Wyświetlanie pozycji 1-2 z 2
-
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 ... -
Proof Compression and NP Versus PSPACE II
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal ...