Bulletin of the Section of Logic 51/2 (2022)

Przeglądaj według

 

Najnowsze pozycje

  • Tableaux for some deontic logics with the explicit permission operator 

    Glavaničová, Daniela; Jarmużek, Tomasz; Klonowski, Mateusz; Kulicki, Piotr (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)
    In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are ...

  • A Paradox for the Existence Predicate 

    Meixner, Uwe (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-10)
    In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities ...

  • A Classification of Improper Inference Rules 

    Sasaki, Katsumi (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)
    In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to ...

  • A Benchmark Similarity Measures for Fermatean Fuzzy Sets 

    Khan, Faiz Muhammad; Khan, Imran; Ahmad, Waqas (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-08)
    In this paper, we utilized triangular conorms (S-norm). The essence of using S-norm is that the similarity order does not change using different norms. In fact, we are investigating for a new conception for calculating the ...

  • A Variant of Material Connexive Logic 

    Belikov, Alexander; Zaitsev, Dmitry (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
    The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our ...

  • Tolerating Inconsistencies: A Study of Logic of Moral Conflicts 

    Mishra, Meha; Sarma, A.V. Ravishankar (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-07)
    Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails ...

  • Proof Compression and NP Versus PSPACE II: Addendum 

    Gordeev, Lew; Haeusler, Edward Hermann (Wydawnictwo Uniwersytetu Łódzkiego, 2022-01-07)
    In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding ...

  • Models of Bounded Arithmetic Theories and Some Related Complexity Questions 

    Alam, Abolfazl; Moniri, Morteza (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-07)
    In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an ...

  • Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts 

    Braüner, Torben (Wydawnictwo Uniwersytetu Łódzkiego, 2022-01-07)
    This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic ...