Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 61-80 z 230

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

    • Basic Four-Valued Systems of Cyclic Negations 

      Grigoriev, Oleg; Zaitsev, Dmitry (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)
      We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation ...

    • \(n\)-Fold Filters of EQ-Algebras 

      Ganji Saffar, Batoul; Kologani, Mona Aly; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-14)
      In this paper, we apply the notion of \(n\)-fold filters to the \(EQ\)-algebras and introduce the concepts of \(n\)-fold pseudo implicative, \(n\)-fold implicative, \(n\)-fold obstinate, \(n\)-fold fantastic prefilters and ...

    • Complete Representations and Neat Embeddings 

      Sayed Ahmed, Tarek (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      Let \(2<n<\omega\). Then \({\sf CA}_n\) denotes the class of cylindric algebras of dimension \(n\), \({\sf RCA}_n\) denotes the class of representable \(\sf CA_n\)s, \({\sf CRCA}_n\) denotes the class of completely ...

    • An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups 

      Yiarayong, Pairote (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-14)
      The aim of this manuscript is to introduce the \((\alpha,\beta)\)-hesitant fuzzy set and apply it to semigroups. In this paper, as a generalization of the concept of hesitant fuzzy sets to semigroup theory, the concept of ...