Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 41-60 z 214

    • Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals 

      Hamidi , Mohammad (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-10)
      This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued ...

    • Fundamental Relation on HvBE-Algebras 

      Iranmanesh, Farzad; Ghadiri, Mansour; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-09)
      In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation. We show that quotient of any ...

    • Harmony and Normalisation in Bilateral Logic 

      del Valle-Inclan, Pedro (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral ...

    • Bilateral Rules as Complex Rules 

      Ceragioli, Leonardo (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially ...

    • Supposition: A Problem for Bilateralism 

      Kürbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we ...

    • Fractional-Valued Modal Logic and Soft Bilateralism 

      Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
      In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) ...

    • Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) 

      Ayhan, Sara (Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-30)

    • Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic 

      Gheorghiu, Alexander V.; Pym, David J. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension ...

    • On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) 

      Ayhan, Sara; Wansing, Heinrich (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A ...

    • Core Type Theory 

      van Dijk, Emma; Ripley, David; Gutierrez, Julian (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
      Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the ...

    • Structural Rules in Natural Deduction with Alternatives 

      Restall, Greg (Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-25)
      Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion ...

    • Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) 

      Ayhan, Sara (Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-30)

    • The Weak Variable Sharing Property 

      Øgaard, Tore Fjetland (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all ...

    • The Modelwise Interpolation Property of Semantic Logics 

      Gyenis, Zalán; Molnár, Zalán; Öztürk, Övge (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an ...

    • The Theory of an Arbitrary Higher \(\lambda\)-Model 

      Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-25)
      One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms ...

    • On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra 

      Derseh, Beza Lamesgin; Alaba, Berhanu Assaye; Wondifraw, Yohannes Gedamu (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      In this paper, we introduce the notion of intuitionistic fuzzy PMS-subalgebras under homomorphism and Cartesian product and investigate several properties. We study the homomorphic image and inverse image of the intuitionistic ...

    • Roughness of Filters in Equality Algebras 

      Rezaei, Gholam Reza; Borzooei, Rajab Ali; Aaly Kologani, Mona; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2023-01-25)
      Rough set theory is an excellent mathematical tool for the analysis of a vague description of actions in decision problems. Now, in this paper by considering the notion of an equality algebra, the notion of the lower and ...

    • A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions 

      Cornejo, Juan Manuel; Sankappanavar, Hanamantagouda P. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-12-14)
      The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety ...

    • Equivalential Algebras with Conjunction on Dense Elements 

      Przybyło, Sławomir; Słomczyńska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)
      We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.

    • A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\) 

      Robles, Gemma; Méndez, José M. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-14)
      G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\). The aim of this paper is to endow each one of the logics just ...