Results 21 to 30 of about 1,294 (213)
On the Complexity of the Evaluation of Transient Extensions of Boolean Functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Transient algebra is a multi-valued algebra for hazard detection in gate circuits. Sequences of alternating 0's and 1's, called transients, represent signal values, and gates are modeled by extensions of boolean functions to transients.
Janusz Brzozowski, Baiyu Li, Yuli Ye
doaj +1 more source
Gődel filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +1 more source
Fuzzy Annihilator Ideals of C-Algebra
Advances in Fuzzy Systems, 2021 In this paper, we introduce the concept of relative fuzzy annihilator ideals in C-algebras and investigate some its properties. We characterize relative fuzzy annihilators in terms of fuzzy points.
Wondwosen Zemene Norahun +2 more
doaj +1 more source
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods [PDF]
Logical Methods in Computer Science, 2022 It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not.
Mirai Ikebuchi
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Tense Operators on BL-algebras and Their Applications
Bulletin of the Section of Logic, 2021 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 and tense Boolean algebras are investigated ...
Akbar Paad
doaj +1 more source
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
International Journal of Computational Intelligence Systems, 2019 This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras.
Wei Wang, Pengxi Yang, Yang Xu
doaj +1 more source
A Coalgebraic Approach to Dualities for Neighborhood Frames [PDF]
Logical Methods in Computer Science, 2022 We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras.
Guram Bezhanishvili +2 more
doaj +1 more source
A study of fixed point sets based on Z-soft rough covering models
AIMS Mathematics, 2022 Z-soft rough covering models are important generalizations of classical rough set theory to deal with uncertain, inexact and more complex real world problems.
Imran Shahzad Khan +3 more
doaj +1 more source
A heuristic method for bi-decomposition of partial Boolean functions
Informatika, 2020 The problem of decomposition of a Boolean function is to represent a given Boolean function in the form of a superposition of some Boolean functions whose number of arguments are less than the number of given function.
Yu. V. Pottosin
doaj +1 more source