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

Tableau Systems for Epistemic Positional Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 20210630)The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’. The second ... 
Tableaux for some deontic logics with the explicit permission operator
(Wydawnictwo Uniwersytetu Łódzkiego, 20220623)In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are ... 
Tense Operators on BLalgebras and Their Applications
(Wydawnictwo Uniwersytetu Łódzkiego, 20210528)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 × MValued Łukasiewicz–Moisil Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)In 2015, A.V. Figallo and G. Pelaitay introduced tense n×mvalued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense nvalued Ł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
(Wydawnictwo Uniwersytetu Łódzkiego, 20210902)Six interesting variants of the logics BN4 and E4—which can be considered as the 4valued 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
(Wydawnictwo Uniwersytetu Łódzkiego, 20230425)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)
(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
(Wydawnictwo Uniwersytetu Łódzkiego, 20220607)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 MultiTopological Frames in the Context of Intuitionistic Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20191030)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 multitopological. ... 
A Topological Approach to Tense LMn×mAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)In 2015, tense n × mvalued Lukasiewicz–Moisil algebras (or tense LMn×malgebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense nvalued Łukasiewicz–Moisil algebras. In this paper we continue ... 
Towards a Logic of Value and Disagreement via Imprecise Measures
(Wydawnictwo Uniwersytetu Łódzkiego, 20210630)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 PreMaximal Extensions of the Relevant Logic E
(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 premaximal 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
(Wydawnictwo Uniwersytetu Łódzkiego, 20191231)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
(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 StepLike Temporal MultiAgent Logic with the Universal Modality
(Wydawnictwo Uniwersytetu Łódzkiego, 20220909)This paper proposes a semantic description of the linear steplike temporal multiagent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of nonreflexive nontransitive nature of time. We proved ... 
Universality of Logic
(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 firstorder logic. Three senses of the universality property are distinguished: universal applicability, ... 
A Useful FourValued Extension of the Temporal Logic KtT4
(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
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We characterize the nontrivial 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
(Wydawnictwo Uniwersytetu Łódzkiego, 20211109)The relationship between formal (standard) logic and informal (commonsense, 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
(Wydawnictwo Uniwersytetu Łódzkiego, 20230421)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 ...