RSS 1.0Bulletin of the Section of Logic 54/2 (2025)
Przeglądaj według
Najnowsze pozycje
-
Continua of Logics Related to Intuitionistic and Minimal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-07)We analyze the relationship between logics around intuitionistic logic and minimal logic. We characterize the intersection of minimal logic and co-minimal logic introduced by Vakarelov, and reformulate logics given in the ... -
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-27)A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced. The framework unifies Gentzen-style single-succedent sequent calculi ... -
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-02)Gentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C. The C-family is derived from C by ... -
Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-09-18)In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al. (2020) ... -
Preface: Non-Classical Logics. Theory and Applications (Part I)
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-30)