Przeglądaj Bulletin of the Section of Logic 48/4 (2019) według tytułu

Wyświetlanie pozycji 2-5 z 5

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

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