Przeglądaj Bulletin of the Section of Logic 53/3 (2024) według tytułu

Wyświetlanie pozycji 1-6 z 6

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

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

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

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

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