Results 31 to 40 of about 176,338 (220)
Some Types of Filters in Equality Algebras [PDF]
Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce some types of filters such as (positive) implicative, fantastic, Boolean, and prime filters in equality algebras and we ...
Rajabali Borzooei +2 more
doaj
Computably enumerable boolean algebras [PDF]
We study computably enumerable boolean algebras, focusing on Stone duality and universality phenomena. We show how classical Stone duality specializes to c.e. boolean algebras, giving a natural bijection between c.e.
Tran, Ying-Ying
core +1 more source
Filters, Ideals and Congruences on Double Boolean Algebras
Double Boolean algebras (dBas) are algebras D––:=(D;⊓, ⊔,¬,┘,⊥,⊤) of type (2, 2, 1, 1, 0, 0), introduced by R. Wille to capture the equational theory of the algebra of protoconcepts. Boolean algebras form a subclass of dBas. Our goal is an algebraic
Alomo Temgoua, Etienne Romuald +1 more
core
On Boolean reliability algebra
In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the reliability algebra is a Boolean algebra.
Branislav R. Boricic +2 more
openaire +3 more sources
Axiomatizing complex algebras by games [PDF]
Submitted ...
Mikulas, S +5 more
core +1 more source
PSEUDO ALGEBRAS BOOL APPLIED BL-ALGEBRAS [PDF]
In this article we study Boolean algebras in terms of Hilbert algebras and deductive ...
Olimpia-Mioara PECINGINA +1 more
doaj
Superatomic Boolean algebras [PDF]
Abstract not ...
openaire +3 more sources
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
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
53 pages, 8 Postscript figures, Uses ajour.sty from Academic Press, To appear in Advances in Applied ...
openaire +3 more sources
Measures on Boolean Algebras [PDF]
We give, under some set-theoretical assumptions, an example of complete, ccc, weakly (ω,∞)-distributive, countably generated Boolean algebra without any strictly positive Maharam ...
openaire +1 more source

