Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 121-140 z 230

    • Cantor on Infinitesimals. Historical and Modern Perspective 

      Błaszczyk, Piotr; Fila, Marlena (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that ...

    • Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument 

      Benzmüller, Christoph; Fuenmayor, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument ...

    • Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl 

      Aranda, Víctor (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a ...

    • Formal Methods and Science in Philosophy: Introduction to the Special Issue 

      Blackburn, Patrick; Kovač, Srećko; Świętorzecka, Kordula (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Introduction to the Special Issue.

    • Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations 

      Pynko, Alexej P. (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ...

    • Length Neutrosophic Subalgebras of BCK=BCI-Algebras 

      Jun, Young Bae; Khan, Madad; Smarandache, Florentin; Song, Seok-Zun (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 ...

    • Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations 

      Niki, Satoru (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ...

    • From Intuitionism to Brouwer's Modal Logic 

      Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ...

    • The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden 

      Makinson, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
      We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...

    • Equality Logic 

      Ghorbani, Shokoofeh (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local ...

    • Module Structure on Effect Algebras 

      Saidi Goraghani, Simin; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. ...

    • New Modification of the Subformula Property for a Modal Logic 

      Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a ...

    • Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations 

      Niki, Satoru (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then ...

    • Proof Compression and NP Versus PSPACE II 

      Gordeev, Lew; Haeusler, Edward Hermann (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
      We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal ...

    • A Topological Approach to Tense LMn×m-Algebras 

      Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue ...

    • May the Sea-Battle Tommorow Not Happen? 

      Pięta, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      This note provides a review of the book 'On the Sea-Battle Tomorrow That May Not Happen' by Tomasz Jarmużek.

    • The Dynamic Epistemic Logic for Actual Knowledge 

      Wójcik, Arkadiusz (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the ...

    • Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras 

      Jun, Young Bae; Song, Seok-Zun (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 ...

    • Nilpotent Minimum Logic NM and Pretabularity 

      Yang, Eunsuk (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
      This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp ...

    • Disjunctive Multiple-Conclusion Consequence Relations 

      Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the ...