Bulletin of the Section of Logic 54/3 (2025)

Przeglądaj według

 

Najnowsze pozycje

  • From Translations to Non-Collapsing Logic Combinations 

    Rasga, João; Sernadas, Cristina (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
    Prawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent ...

  • On Generalization of Modular Lattices 

    Stocka, Agnieszka (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
    We introduce the concepts of dually balanced lattices and \(M\)-lattices and provide some basic properties of these classes of lattices. Both classes can be viewed as generalizations of the well-known class of modular ...

  • On Involutive Weak Exchange Algebras 

    Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
    In this paper, involutive weak exchange algebras (for short, involutive WE algebras) are introduced and studied. Their properties and characterizations are investigated. Some important results and examples are given. In ...

  • Some Results Concerning Axioms for Equivalential Calculus 

    Czakon, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-02)
    One of the most important questions in the area of the equivalential calculus (EC) currently is the issue of the single shortest axiom. We show some new a single organic and inorganic axioms for EC which are either D-complete ...

  • Dialogical Ecumenism 

    Álvarez Lisboa, Miguel (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
    Ecumenical logics are systems where two logics can coexist, sharing vocabulary and avoiding collapses between them. The literature has focused mainly on ecumenism between classical and intuitionistic logic, and several ...