Browsing Bulletin of the Section of Logic 48/1 (2019) by Title
Now showing items 15 of 5

Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
(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
(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 ... 
A Modified Subformula Property for the Modal Logic S4.2
(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 cutrule, it is ... 
Positive Implicative Soju Ideals in BCKAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The notion of positive implicative soju ideal in BCKalgebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ... 
Two Infinite Sequences of PreMaximal Extensions of the Relevant Logic E
(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 premaximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...