Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 61-80 z 201

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

    • Weakly Free Multialgebras 

      Coniglio, Marcelo Esteban; Vicentin de Toledo, Guilherme (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)
      In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ...

    • A Sequent Systems without Improper Derivations 

      Sasaki, Katsumi (Wydawnictwo Uniwersytetu Łódzkiego, 2021-10-14)
      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, and others ...

    • Sequent Calculi for Orthologic with Strict Implication 

      Kawano, Tomoaki (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with ...

    • A Note on the Intuitionistic Logic of False Belief 

      Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-01)
      In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is ...

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

    • An Epistemological Study of Theory Change 

      Aravanis, Theofanis (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      Belief Revision is a well-established field of research that deals with how agents rationally change their minds in the face of new information. The milestone of Belief Revision is a general and versatile formal framework ...

    • An Arithmetically Complete Predicate Modal Logic 

      Hao, Yunge; Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)
      This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its ...

    • On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results 

      Sayed Ahmed, Tarek (Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-21)
      Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let ...

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

    • The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) 

      Szmuc, Damian E. (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-27)
      We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, ...

    • On the Category of EQ-algebras 

      Akhlaghinia, Narges; Aaly Kologani, Mona; Borzooei, Rajab Ali; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
      In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct ...

    • 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 General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points 

      Bordbar, Hashem; Borzooei, Rajab Ali; Smarandache, Florentin; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-15)
      More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations ...

    • Falling Shadow Theory with Applications in Hoops 

      Borzooei, Rajab Ali; Rezaei, Gholam Reza; Kologhani, Mona Aaly; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
      The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between ...

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