Recent Submissions

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