Bulletin of the Section of Logic 53/3 (2024)

Przeglądaj według

Najnowsze pozycje

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

  • Positive Complete Theories and Positive Strong Amalgamation Property 

    Belkasmi, Mohammed (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-04)
    We introduce the notion of positive strong amalgamation property and we investigate some universal forms and properties of this notion.Considering the close relationship between the amalgamation property and the notion of ...