Results 1 to 10 of about 690 (191)
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
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
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
Duality for finite Hilbert algebras
The authors provide a duality for finite Hilbert algebras by means of finite ordered sets endowed with a distinguished family of subsets. They also study the case in which the finite Hilbert algebras are join-semilattices or meet-semilattices.
Sérgio A Celani, Leonardo Cabrer
exaly +3 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 90 for Algebras with Conjugation [PDF]
We show a version of Hilbert 90 that is valid for a large class of algebras many of which are not commutative, distributive or associative. This class contains the nth iteration of the Conway-Smith doubling procedure. We use our version of Hilbert 90 to parametrize all solutions in ordered fields to the norm one equation for such algebras.
exaly +4 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 algebraic
José Luis Castiglioni +2 more
openaire +3 more sources
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. The setting covers many situations arising from quantization
Măntoiu, M., Purice, R.
openaire +2 more sources
Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras [PDF]
In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $.
Mona Naroei Irani, Akbar Nazari
doaj +1 more source
Quasi-Algebras versus Regular Algebras - Part I [PDF]
Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras.
A. Iorgulescu
doaj +1 more source

