Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 21-40 z 230

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

    • Continua of Logics Related to Intuitionistic and Minimal Logics 

      Ichikura, Kaito (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 

      Kamide, Norihiro; Negri, Sara (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 

      Kamide, Norihiro (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 

      Sawasaki, Takahiro (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) 

      Zawidzki, Michał (Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-30)

    • Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations 

      Ayhan, Sara (Wydawnictwo Uniwersytetu Łódzkiego, 2025-05-30)
      In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, ...

    • Internal and External Calculi: Ordering the Jungle without Being Lost in Translations 

      Lyon, Tim S.; Ciabattoni, Agata; Galmiche, Didier; Girlando, Marianna; Larchey-Wendling, Dominique; Méry, Daniel; Olivetti, Nicola; Ramanayake, Revantha (Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-06)
      This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and ...

    • Supposition: No Problem for Bilateralism 

      Simonelli, Ryan (Wydawnictwo Uniwersytetu Łódzkiego, 2025-01-08)
      In a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts. ...

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

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

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

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

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

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

    • About Logically Probable Sentences 

      Olszewski, Adam (Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-23)
      The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula ...

    • Free Spectra of Equivalential Algebras with Conjunction on Dense Elements 

      Przybyło, Sławomir; Słomczyńska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)
      We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of ...

    • On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras 

      Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)
      In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been ...

    • On Combining Intuitionistic and S4 Modal Logic 

      Rasga, João; Sernadas, Cristina (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-05)
      We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors ...

    • Meaning is Use: the Case of Propositional Identity 

      Kupś, Leonard; Chlebowski, Szymon (Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)
      We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be ...