Przeglądaj Bulletin of the Section of Logic 54/3 (2025) według daty wydania

Wyświetlanie pozycji 1-5 z 5

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

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

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

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

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