Browsing Bulletin of the Section of Logic by Title
Now showing items 93112 of 189

Many Faces of Lattice Tolerances
(Wydawnictwo Uniwersytetu Łódzkiego, 20191231)Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices. 
Mathematical Methods in RegionBased Theories of Space: The Case of Whitehead Points
(Wydawnictwo Uniwersytetu Łódzkiego, 20231204)Regionsbased theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are ... 
May the SeaBattle Tommorow Not Happen?
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)This note provides a review of the book 'On the SeaBattle Tomorrow That May Not Happen' by Tomasz Jarmużek. 
The Method of Socratic Proofs Meets Correspondence Analysis
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The goal of this paper is to propose correspondence analysis as a technique for generating the socalled erotetic (i.e. pertaining to the logic of questions) calculi which constitute the method of Socratic proofs by Andrzej ... 
Minimal Sequent Calculi for Łukasiewicz’s FinitelyValued Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s nvalued logics [4]. The paper provides an analytical expression of a 2(n−1)place ... 
Modal Boolean Connexive Logics: Semantics and Tableau Approach
(Wydawnictwo Uniwersytetu Łódzkiego, 20191030)In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is nonclassical. ... 
Models of Bounded Arithmetic Theories and Some Related Complexity Questions
(Wydawnictwo Uniwersytetu Łódzkiego, 20220607)In this paper, we study bounded versions of some modeltheoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an ... 
The Modelwise Interpolation Property of Semantic Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 20230421)In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an ... 
A Modified Subformula Property for the Modal Logic S4.2
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cutrule, it is ... 
Module Structure on Effect Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)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. ... 
Monadic Fragments of Intuitionistic Control Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In ... 
\(n\)Fold Filters of EQAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20221014)In this paper, we apply the notion of \(n\)fold filters to the \(EQ\)algebras and introduce the concepts of \(n\)fold pseudo implicative, \(n\)fold implicative, \(n\)fold obstinate, \(n\)fold fantastic prefilters and ... 
Neighbourhood Semantics for Graded Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210714)We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be firstorder definable but not modally definable. We ... 
A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of firstorder modal logics, bypassing a need to convert them first into Gentzen ... 
New Modification of the Subformula Property for a Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)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 ... 
Nilpotent Minimum Logic NM and Pretabularity
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)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 ... 
NonFregean Logics of Analytic Equivalence (I)
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)The identity connective is usually interpreted in nonFregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, ... 
NonFregean Logics of Analytic Equivalence (II)
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)This paper presents the main assumptions of Andrzej Grzegorczyk’s last research project concerning the logic of synonymity. It shows that the basis of logic of analytic equivalence, presented in the ﬁrst part of the work, ... 
A Note on 3×3valued Łukasiewicz Algebras with Negation
(Wydawnictwo Uniwersytetu Łódzkiego, 20210527)In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)algebras) introduced \(3 \times 3\)valued Łukasiewicz algebras with ... 
A Note on Ciuciura’s mbC1
(Wydawnictwo Uniwersytetu Łódzkiego, 20191030)This note offers a nondeterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbertstyle proof system. Moreover, based on the new ...