Browsing Bulletin of the Section of Logic by Title
Now showing items 73-92 of 189
-
Identity, Equality, Nameability and Completeness
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the ... -
Identity, equality, nameability and completeness. Part II
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a ... -
Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are ... -
An Inferentially Many-Valued Two-Dimensional Notion of Entailment
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely ... -
The Infinite-Valued Łukasiewicz Logic and Probability
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses ... -
Int-Soft Ideals of Pseudo MV-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)The notion of (implicative) int-soft ideal in a pseudo MV-algebra is introduced, and related properties are investigated. Conditions for a soft set to be an int-soft ideal are provided. Characterizations of (implicative) ... -
Interpolation in Normal Extensions of the Brouwer Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic. -
Interpolation Property on Visser's Formal Propositional Logic
(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 ... -
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-30) -
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-30) -
An Investigation into Intuitionistic Logic with Identity
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s ... -
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical ... -
Irredundant Decomposition of Algebras into One-Dimensional Factors
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of ... -
\(L\)-Modules
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-04)In this paper, considering \(L\)-algebras, which include a significant number of other algebraic structures, we present a definition of modules on \(L\)-algebras (\(L\)-modules). Then we provide some examples and obtain ... -
Labeled Sequent Calculus for Orthologic
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic.Sequent calculus is used as a tool for proof in logic and has ... -
Length Neutrosophic Subalgebras of BCK=BCI-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)-length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ... -
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-12)We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the ... -
Linear Abelian Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-15)A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal ... -
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
(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 ... -
Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] ...