Browsing Bulletin of the Section of Logic by Title

Now showing items 169-188 of 189

    • Tense Operators on BL-algebras and Their Applications 

      Paad, Akbar (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
      In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \(BL\)-algebras, tense \(MV\)-algebras ...

    • Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras 

      Figallo, Aldo V.; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense n-valued Łukasiewicz–Moisil algebras. Here we initiate an ...

    • Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B 

      López, Sandra M. (Wydawnictwo Uniwersytetu Łódzkiego, 2021-09-02)
      Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these ...

    • The Theory of an Arbitrary Higher \(\lambda\)-Model 

      Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-25)
      One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms ...

    • Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist) 

      Wójcicki, Ryszard (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical ...

    • Tolerating Inconsistencies: A Study of Logic of Moral Conflicts 

      Mishra, Meha; Sarma, A.V. Ravishankar (Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-07)
      Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails ...

    • Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic 

      Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...

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

    • Towards a Logic of Value and Disagreement via Imprecise Measures 

      Faroldi, Federico L. G. (Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)
      After putting forward a formal account of value disagreement via imprecise measures, I develop a logic of value attribution and of (dis)agreement based on (exact) truthmaker semantics.

    • Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E 

      Typańska-Czajka, Lidia (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...

    • Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic 

      Kurbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
      Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation ...

    • Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 

      Dzik, Wojciech; Wróbel, Beniamin (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties ...

    • Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality 

      Bashmakov, Stepan I.; Zvereva, Tatyana Yu. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved ...

    • Universality of Logic 

      Woleński, Jan (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, ...

    • A Useful Four-Valued Extension of the Temporal Logic KtT4 

      Degauquier, Vincent (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the ...

    • Variable Sharing in Substructural Logics: an Algebraic Characterization 

      Badia, Guillermo (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.

    • A Variant of Material Connexive Logic 

      Belikov, Alexander; Zaitsev, Dmitry (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our ...

    • The Weak Variable Sharing Property 

      Øgaard, Tore Fjetland (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all ...

    • Weakly Free Multialgebras 

      Coniglio, Marcelo Esteban; Vicentin de Toledo, Guilherme (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)
      In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ...

    • What Is the Sense in Logic and Philosophy of Language 

      Wybraniec-Skardowska, Urszula (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception ...