Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 121-140 z 214

    • The Dynamic Epistemic Logic for Actual Knowledge 

      Wójcik, Arkadiusz (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the ...

    • Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras 

      Jun, Young Bae; Song, Seok-Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are ...

    • Nilpotent Minimum Logic NM and Pretabularity 

      Yang, Eunsuk (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp ...

    • Disjunctive Multiple-Conclusion Consequence Relations 

      Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the ...

    • Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic 

      Kurbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation ...

    • An Investigation into Intuitionistic Logic with Identity 

      Chlebowski, Szymon; Leszczyńska-Jasion, Dorota (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s ...

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

    • Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3 

      Yazaki, Daishi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and ...

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

    • A Note on Distributive Triples 

      Łazarz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      Even if a lattice L is not distributive, it is still possible that for particular elements x, y, z ∈ L it holds (x∨y) ∧z = (x∧z) ∨ (y ∧z). If this is the case, we say that the triple (x, y, z) is distributive. In this note ...

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

    • Complex Fuzzy Sets with Application in BCK/BCI-Algebras 

      Jun, Young Bae; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. ...

    • A Note on Ciuciura’s mbC1 

      Omori, Hitoshi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new ...

    • Soju Filters in Hoop Algebras 

      Borzooei, Rajab Ali; Rezaei, Gholam Reza; Kologhani, Mona Aaly; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions ...

    • On GE-algebras 

      Bandaru, Ravikumar; Saeid, Arsham Borumand; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-30)
      Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized ...

    • One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity 

      Płaczek, Paweł (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-13)
      Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the ...

    • A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics 

      Tomova, Natalya (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-13)
      In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect ...

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

    • Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation 

      Barzegar, Hasan (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.

    • Functional Completeness in CPL via Correspondence Analysis 

      Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only ...