Przeglądaj Bulletin of the Section of Logic według tytułu

Wyświetlanie pozycji 169-188 z 201

    • Some Logics in the Vicinity of Interpretability Logics 

      Celani, Sergio A. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-11-22)
      In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the ...

    • Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics 

      Suzuki, Nobu-Yuki (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the ...

    • A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB 

      Inoue, Takao (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      In this paper, we shall show that the following translation \(I^M\) from the propositional fragment \(\bf L_1\) of Leśniewski's ontology to modal logic \(\bf KTB\) is sound: for any formula \(\phi\) and \(\psi\) of \(\bf ...

    • Stabilizers on \(L\)-algebras 

      Rezaei, Gholam Reza; Aaly Kologani, Mona (Wydawnictwo Uniwersytetu Łódzkiego, 2023-11-20)
      The main goal of this paper is to introduce the notion of stabilizers in \(L\)-algebras and develop stabilizer theory in \(L\)-algebras. In this paper, we introduced the notions of left and right stabilizers and investigated ...

    • Structural Rules in Natural Deduction with Alternatives 

      Restall, Greg (Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-25)
      Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion ...

    • SUP-Hesitant Fuzzy Interior Ideals in \(\Gamma\)-Semigroups 

      Khamrot, Pannawit; Gaketem, Thiti (Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-24)
      In this paper, we defined the concept \(\mathcal{SUP}\)-hesitant fuzzy interior ideals in \(\Gamma\)-semigroups, which is generalized of hesitant fuzzy interior ideals in \(\Gamma\)-semigroups. Additionally,  we study ...

    • Super-Strict Implications 

      Gherardi, Guido; Orlandelli, Eugenio (Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
      This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those ...

    • Supposition: A Problem for Bilateralism 

      Kürbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we ...

    • A Syntactic Approach to Closure Operation 

      Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role ...

    • A Syntactic Proof of the Decidability of First-Order Monadic Logic 

      Orlandelli, Eugenio; Tesi, Matteo (Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-09)
      Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a ...

    • Tableau Systems for Epistemic Positional Logics 

      Klonowski, Mateusz; Krawczyk, Krzysztof Aleksander; Pięta, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)
      The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’. The second ...

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

    • Tense Operators on BL-algebras and Their Applications 

      Paad, Akbar (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
      In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \(BL\)-algebras, tense \(MV\)-algebras ...

    • Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras 

      Figallo, Aldo V.; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense n-valued Łukasiewicz–Moisil algebras. Here we initiate an ...

    • Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B 

      López, Sandra M. (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-02)
      Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these ...

    • The Theory of an Arbitrary Higher \(\lambda\)-Model 

      Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-25)
      One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms ...

    • Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist) 

      Wójcicki, Ryszard (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical ...

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

    • Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic 

      Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...

    • A Topological Approach to Tense LMn×m-Algebras 

      Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue ...