Results 31 to 40 of about 945 (231)
On the representation of 𝛼-complete Boolean algebras [PDF]
Transactions of the American Mathematical Society, 1957 C. C. Chang
openalex +3 more sources
Free complete extensions of Boolean algebras [PDF]
Pacific Journal of Mathematics, 1965 George Day
openalex +3 more sources
A note on complete Boolean algebras [PDF]
Proceedings of the American Mathematical Society, 1958 R. S. Pierce
openalex +3 more sources
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 Category of Ordered Algebras Equivalent to the Category of Multialgebras
Bulletin of the Section of Logic, 2023 It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements.
Marcelo Esteban Coniglio +1 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
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
The three types of normal sequential effect algebras [PDF]
Quantum, 2020 A sequential effect algebra (SEA) is an effect algebra equipped with a $\textit{sequential product}$ operation modeled after the Lüders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C$^*$-algebras.
Abraham Westerbaan +2 more
doaj +1 more source
Algebraic theory of measure algebras
Доповiдi Нацiональної академiї наук України, 2023 A. Horn and A. Tarski initiated the abstract theory of measure algebras. Independently V. Sushchansky, B. Oliynyk and P. Cameron studied the direct limits of Hamming spaces.
O.O. Bezushchak, B.V. Oliynyk
doaj +1 more source
Matroids on Complete Boolean Algebras
, 1970 The approach to a theory of non-finitary matroids, as outlined by the author in [20], is here extended to the case in which the relevant closure operators are defined on arbitrary complete Boolean algebras, rather than on the power sets of sets.
Higgs, Denis Arthur
core +2 more sources