Bulletin of the Section of Logic 52/1 (2023)

 

Recent Submissions

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