Browsing Bulletin of the Section of Logic by Title
Now showing items 68-87 of 189
-
A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-15)More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations ... -
The Good, the Bad and the Right: Formal Reductions among Deontic Concepts
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)The present article provides a taxonomic analysis of bimodal logics of normative ideality and normative awfulness, two notions whose meaning is here explained in terms of the moral values pursued by a given community. ... -
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-27)We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, ... -
Grzegorczyk Algebras Revisited
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras. -
Harmony and Normalisation in Bilateral Logic
(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 ... -
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 ...