Results 11 to 20 of about 176,338 (220)
Complexity of Boolean algebras [PDF]
Theoretical Computer Science, 1980 AbstractWe show that the elementary theory of Boolean algebras is ⩽log-complete for the Berman complexity class ...
Kozen, Dexter
openaire +2 more sources
Linear maps on real C* - algebras and related structures [PDF]
, 2010 PhDIn this thesis we obtain new results on the structures of real C*-algebras and nonsurjective isometries between them. Some of the results have been published in [1].
Apazoglou, Maria
core +4 more sources
Algebras for parameterised monads [PDF]
, 2009 Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and
Atkey, Robert
core +4 more sources
AN INTRODUCTION TO BOOLEAN ALGEBRAS [PDF]
, 2016 This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of the topic, research began with the investigation of Boolean algebras in the area of Abstract Algebra. The content of this initial research used a particular
Schardijn, Amy
core +8 more sources
States on basic algebras [PDF]
Mathematica Bohemica, 2017 States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative.
Ivan Chajda, Helmut Länger
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
Amalgamation Property in the subvarieties of Gautama and Almost Gautama Algebras [PDF]
Journal of Mahani Mathematical ResearchGautama algebras were introduced in 2022, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were further generalized to Almost Gautama algebras (AG for short).
Juan M. Cornejo +1 more
doaj +1 more source
Notre Dame Journal of Formal Logic, 2011 We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.
Shimon Garti, Saharon Shelah
openaire +4 more sources
Monoids with tests and the algebra of possibly non-halting programs [PDF]
, 2015 We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson +3 more
core +1 more source
On Implicative Derivations of MTL-Algebras
Axioms, 2022 This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the ...
Jianxin Liu +3 more
doaj +1 more source