Przeglądaj Bulletin of the Section of Logic według tytułu

Wyświetlanie pozycji 58-77 z 201

    • Falling Shadow Theory with Applications in Hoops 

      Borzooei, Rajab Ali; Rezaei, Gholam Reza; Kologhani, Mona Aaly; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
      The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between ...

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

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

    • Four-Valued Logics BD and DM4: Expansions 

      Karpenko, Alexander S. (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      The paper discusses functional properties of some four-valued logics which are the expansions of four-valued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by ...

    • Fractional-Valued Modal Logic and Soft Bilateralism 

      Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
      In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) ...

    • Free Modal Pseudocomplemented De Morgan Algebras 

      Figallo, Aldo V.; Oliva, Nora; Ziliani, Alicia (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica ...

    • Free Spectra of Equivalential Algebras with Conjunction on Dense Elements 

      Przybyło, Sławomir; Słomczyńska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)
      We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of ...

    • From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction 

      von Plato, Jan (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the ...

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

    • Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 

      Maffezioli, Paolo; Orlandelli, Eugenio (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that ...

    • Functional Completeness in CPL via Correspondence Analysis 

      Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only ...

    • Fundamental Relation on HvBE-Algebras 

      Iranmanesh, Farzad; Ghadiri, Mansour; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-09)
      In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation. We show that quotient of any ...

    • Fuzzy Sub-Equality Algebras Based on Fuzzy Points 

      Kologani, Mona Aaly; Takallo, Mohammad Mohseni; Jun, Young Bae; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-18)
      In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were ...

    • A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points 

      Bordbar, Hashem; Borzooei, Rajab Ali; Smarandache, Florentin; Jun, Young Bae (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 

      Glavaničová, Daniela; Pascucci, Matteo (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) 

      Szmuc, Damian E. (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 

      Stronkowski, Michał M. (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 

      del Valle-Inclan, Pedro (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 ...

    • Hilbert Algebras with Hilbert-Galois Connections II 

      Celani, Sergio A.; Montagie, Daniela (Wydawnictwo Uniwersytetu Łódzkiego, 2024-12-09)
      Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,ƒ,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq ...