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

Wyświetlanie pozycji 85-104 z 183

    • \(L\)-Modules 

      Saidi Goraghani, Simin; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-04)
      In this paper, considering \(L\)-algebras, which include a significant number of other algebraic structures, we present a definition of modules on \(L\)-algebras (\(L\)-modules). Then we provide some examples and obtain ...

    • Labeled Sequent Calculus for Orthologic 

      Kawano, Tomoaki (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic.Sequent calculus is used as a tool for proof in logic and has ...

    • Length Neutrosophic Subalgebras of BCK=BCI-Algebras 

      Jun, Young Bae; Khan, Madad; Smarandache, Florentin; Song, Seok-Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)-length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ...

    • Linear Abelian Modal Logic 

      Mohammadi, Hamzeh (Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-15)
      A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal ...

    • A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions 

      Cornejo, Juan Manuel; Sankappanavar, Hanamantagouda P. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-12-14)
      The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety ...

    • Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 

      Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] ...

    • Many Faces of Lattice Tolerances 

      Grygiel, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.

    • Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points 

      Gruszczyński, Rafał (Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-04)
      Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are ...

    • May the Sea-Battle Tommorow Not Happen? 

      Pięta, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      This note provides a review of the book 'On the Sea-Battle Tomorrow That May Not Happen' by Tomasz Jarmużek.

    • The Method of Socratic Proofs Meets Correspondence Analysis 

      Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic (i.e. pertaining to the logic of questions) calculi which constitute the method of Socratic proofs by Andrzej ...

    • Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics 

      Pynko, Alexej P. (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place ...

    • Modal Boolean Connexive Logics: Semantics and Tableau Approach 

      Jarmużek, Tomasz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. ...

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

    • The Modelwise Interpolation Property of Semantic Logics 

      Gyenis, Zalán; Molnár, Zalán; Öztürk, Övge (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an ...

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

    • Module Structure on Effect Algebras 

      Saidi Goraghani, Simin; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. ...

    • Monadic Fragments of Intuitionistic Control Logic 

      Glenszczyk, Anna (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In ...

    • \(n\)-Fold Filters of EQ-Algebras 

      Ganji Saffar, Batoul; Kologani, Mona Aly; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-14)
      In this paper, we apply the notion of \(n\)-fold filters to the \(EQ\)-algebras and introduce the concepts of \(n\)-fold pseudo implicative, \(n\)-fold implicative, \(n\)-fold obstinate, \(n\)-fold fantastic prefilters and ...

    • Neighbourhood Semantics for Graded Modal Logic 

      Chen, Jinsheng; van Ditmarsch, Hans; Greco, Giuseppe; Tzimoulis, Apostolos (Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-14)
      We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We ...

    • A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs 

      Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...