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

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 ... 
Weakly Free Multialgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20210823)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
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)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 formallogical conception ... 
An (α,β)Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups
(Wydawnictwo Uniwersytetu Łódzkiego, 20220914)The aim of this manuscript is to introduce the \((\alpha,\beta)\)hesitant fuzzy set and apply it to semigroups. In this paper, as a generalization of the concept of hesitant fuzzy sets to semigroup theory, the concept of ...