Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 41-60 z 204

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

    • Constructing a Hoop Using Rough Filters 

      Borzooei, Rajab Ali; Babaei, Elham (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      When it comes to making decisions in vague problems, rough is one of the best tools to help analyzers. So based on rough and hoop concepts, two kinds of approximations (Lower and Upper) for filters in hoops are defined, ...

    • Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality 

      Bashmakov, Stepan I.; Zvereva, Tatyana Yu. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved ...

    • Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract 

      Dziobiak, Wiesław; Schwidefsky, Marina (Wydawnictwo Uniwersytetu Łódzkiego, 2022-08-02)
      The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, ...

    • First-Order Modal Semantics and Existence Predicate 

      Michalczenia, Patryk (Wydawnictwo Uniwersytetu Łódzkiego, 2022-07-11)
      In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. ...

    • Interpolation Property on Visser's Formal Propositional Logic 

      Alizadeh, Majid; Memarzadeh, Masoud (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-20)
       In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also ...

    • Tableaux for some deontic logics with the explicit permission operator 

      Glavaničová, Daniela; Jarmużek, Tomasz; Klonowski, Mateusz; Kulicki, Piotr (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)
      In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are ...