Browsing Bulletin of the Section of Logic by Title

Now showing items 41-60 of 189

    • Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts 

      Staruch, Bogdan; Staruch, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a star-decomposition) is based on the properties of the congruence lattices of algebras. We ...

    • Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic 

      Gheorghiu, Alexander V.; Pym, David J. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
      Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension ...

    • Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 

      Ciuciura, Janusz (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau ...

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

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

    • Elementary Proof of Strong Normalization for Atomic F 

      Ferreira, Fernando; Ferreira, Gilda (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fₐₜ (a predicative restriction of Girard’s system F).

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

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

    • An Epistemological Study of Theory Change 

      Aravanis, Theofanis (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      Belief Revision is a well-established field of research that deals with how agents rationally change their minds in the face of new information. The milestone of Belief Revision is a general and versatile formal framework ...

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

    • Equivalential Algebras with Conjunction on Dense Elements 

      Przybyło, Sławomir; Słomczyńska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)
      We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.

    • Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation 

      Barzegar, Hasan (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.

    • Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals 

      Hamidi , Mohammad (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-10)
      This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued ...

    • Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena 

      Parol, Aleksander; Pietrowicz, Krzysztof; Szalacha-Jarmużek, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)
      In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These ...

    • 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]\) ...