Bulletin of the Section of Logic: Recent submissions

Now showing items 61-80 of 214

    • Basic Four-Valued Systems of Cyclic Negations 

      Grigoriev, Oleg; Zaitsev, Dmitry (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)
      We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation ...

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

    • Complete Representations and Neat Embeddings 

      Sayed Ahmed, Tarek (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      Let \(2<n<\omega\). Then \({\sf CA}_n\) denotes the class of cylindric algebras of dimension \(n\), \({\sf RCA}_n\) denotes the class of representable \(\sf CA_n\)s, \({\sf CRCA}_n\) denotes the class of completely ...

    • An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups 

      Yiarayong, Pairote (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-14)
      The aim of this manuscript is to introduce the \((\alpha,\beta)\)-hesitant fuzzy set and apply it to semigroups. In this paper, as a generalization of the concept of hesitant fuzzy sets to semigroup theory, the concept of ...

    • Constructing a Hoop Using Rough Filters 

      Borzooei, Rajab Ali; Babaei, Elham (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      When it comes to making decisions in vague problems, rough is one of the best tools to help analyzers. So based on rough and hoop concepts, two kinds of approximations (Lower and Upper) for filters in hoops are defined, ...

    • Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality 

      Bashmakov, Stepan I.; Zvereva, Tatyana Yu. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved ...

    • Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract 

      Dziobiak, Wiesław; Schwidefsky, Marina (Wydawnictwo Uniwersytetu Łódzkiego, 2022-08-02)
      The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, ...

    • First-Order Modal Semantics and Existence Predicate 

      Michalczenia, Patryk (Wydawnictwo Uniwersytetu Łódzkiego, 2022-07-11)
      In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. ...

    • Interpolation Property on Visser's Formal Propositional Logic 

      Alizadeh, Majid; Memarzadeh, Masoud (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-20)
       In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also ...

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

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