Przeglądaj Bulletin of the Section of Logic 53/4 (2024) według daty wydania

Wyświetlanie pozycji 1-6 z 6

    • Open Filters and Congruence Relations on Self-Distributive Weak Heyting Algebras 

      Nourany, Mohsen; Ghorbani, Shokoofeh; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-21)
      In this paper, we study (open) filters and deductive systems of self-distributive weak Heyting algebras (SDWH-algebras) and obtain some results which determine the relationship between them. We show that the variety of ...

    • Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules 

      Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-24)
      The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow ...

    • Exploring the Definition of Non-Monotonicity – Logical and Psychological Considerations 

      Łukowski, Piotr; Rudnicki, Konrad ORCID (Wydawnictwo Uniwersytetu Łódzkiego, 2024-10-08)
      When humans reason, they are able to revise their beliefs in light of new information and abandon obsolete conclusions. Logicians argued, that in some cases, such reasonings appear to be non-monotonic. Thus, many different, ...

    • D-complete Single Axioms for the Equivalential Calculus with the rules D and R 

      Czakon, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2024-11-05)
      Ulrich showed that most of the known axiomatisations of the classical equivalence calculus (EC) are D-incomplete, that is, they are not complete with the condensed detachment rule (D) as the primary rule of the proof ...

    • \(\mathcal{L}\)−weakly 1−Absorbing Prime Ideals and Filters 

      Amare, Natnael Teshale (Wydawnictwo Uniwersytetu Łódzkiego, 2024-11-14)
      In this manuscript, we have presented the concept of \(\mathcal{L}\)-weakly 1-absorbing prime ideals and \(\mathcal{L}\)-weakly 1-absorbing prime filters within an ADL. Mainly, we illustrate the connections between ...

    • Hilbert Algebras with Hilbert-Galois Connections II 

      Celani, Sergio A.; Montagie, Daniela (Wydawnictwo Uniwersytetu Łódzkiego, 2024-12-09)
      Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,ƒ,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq ...