Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 141-160 z 230

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

    • Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E 

      Typańska-Czajka, Lidia (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...

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

    • Positive Implicative Soju Ideals in BCK-Algebras 

      Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ...

    • Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 

      Maffezioli, Paolo; Orlandelli, Eugenio (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that ...