Results 21 to 30 of about 1,728 (218)
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
Approximate Quantifier Elimination for Propositional Boolean Formulae [PDF]
, 2011 This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining over-approximations of a given formula.
Lijun Zhang +9 more
core +1 more source
Disbelief as the Dual of Belief [PDF]
, 2007 The duality of truth and falsity in a Boolean algebra of propositions is used to generate a duality of belief and disbelief. To each additive probability measure that represents belief there corresponds a dual additive measure that represents disbelief ...
Norton, JD, Norton, John D.
core +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
Completion of Boolean algebras in MSet
The Journal of Logic and Algebraic Programming, 2009 The aim of this paper is to study the general notion of an internally complete poset in a topos, in the sense of Johnstone, and to use it to give minimal normal completions for \(M\)-Boolean algebras (Boolean algebras with an action of a monoid \(M\) on them).
M. Mehdi Ebrahimi, Mojgan Mahmoudi
openaire +2 more sources
The Center Of A Generalized Effect Algebra
Demonstratio Mathematica, 2014 In this article, we study the center of a generalized effect algebra (GEA), relate it to the exocenter, and in case the GEA is centrally orthocomplete (a COGEA), relate it to the exocentral cover system. Our main results are that the center of a COGEA is
Foulis D. J., Pulmannová S.
doaj +1 more source
More on the extension of linear operators on Riesz spaces
Karpatsʹkì Matematičnì Publìkacìï, 2022 The classical Kantorovich theorem asserts the existence and uniqueness of a linear extension of a positive additive mapping, defined on the positive cone $E^+$ of a Riesz space $E$ taking values in an Archimedean Riesz space $F$, to the entire space $E$.
O.G. Fotiy, A.I. Gumenchuk, M.M. Popov
doaj +1 more source
Automorphism groups of the constituent graphs of integral distance graphs
AKCE International Journal of Graphs and Combinatorics, 2023 In this paper, we consider the automorphism groups of Cayley graphs which are a basis of a complete Boolean algebra of strongly regular graphs, one of such graph is the integral distance graph [Formula: see text] The automorphism groups of the integral ...
O. Habineza, E. Mwambene
doaj +1 more source