Results 1 to 10 of about 140,041 (215)
Hilbert Algebras of Fractions [PDF]
Let 𝐴 be a bounded Hilbert algebra and 𝑆 a ∨-closed subset of 𝐴. The Hilbert algebra of fractions 𝐴𝑆 is studied regarding maximal and irreducible deductive systems.
Christina-Theresia Dan
doaj +3 more sources
Hilbert Implication Algebra and Some Properties [PDF]
The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved.
Dejen Gerima Tefera
doaj +3 more sources
Relation Between Be-Algebras and G-Hilbert Algebras
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +2 more sources
Derivations of Hilbert Algebras
In this paper, we introduce the notions of (l, r)-derivations, (r, l)-derivations, and derivations of Hilbert algebras and investigate some related properties. In addition, we define two subsets for a derivation d of a Hilbert algebra X, Ker d(X) and Fix
Aiyared Iampan +3 more
doaj +2 more sources
Hilbert Algebras with Hilbert-Galois Connections II
Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,f,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq ...
Sergio A. Celani, Daniela Montagie
doaj +4 more sources
Relation between Sheffer Stroke and Hilbert algebras [PDF]
In this paper, we introduce a Sheffer stroke Hilbert algebra by giving definitions of Sheffer stroke and a Hilbert algebra. After it is shown that the axioms of Sheffer stroke Hilbert algebra are independent, it is given some properties of this algebraic
Tahsin Oner +2 more
doaj +1 more source
Admissible Vectors and Hilbert Algebras [PDF]
Admissible vectors for unitary representations of locally compact groups are the basis for group-frame and covariant coherent state expansions. Main tools in the study of admissible vectors have been Plancherel and central integral decomposition, of applicability only under certain separability and semifiniteness restrictions. In this work we present a
F. Gómez-Cubillo, S. Wickramasekara
openaire +2 more sources
Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced ...
Ravikumar Bandaru +2 more
doaj +1 more source
On Fréchet–Hilbert algebras [PDF]
We consider Hilbert algebras with a supplementary Fr chet topology and get various extensions of the algebraic structure by using duality techniques. In particular we obtain optimal multiplier-type involutive algebras, which in applications are large enough to be of significant practical use.
Măntoiu, M., Purice, R.
openaire +2 more sources
Prelinear Hilbert algebras [PDF]
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of G del algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the ...
Castiglioni, José Luis +2 more
openaire +3 more sources

