Some results in local Hilbert algebras
-
Ali Soleimani Nasab
and
Arsham Borumand Saeid
Abstract
In this paper, we study local Hilbert algebras and give some theorems that characterize local Hilbert algebras. Also, we prove that, (i) H is a local Hilbert algebra if and only if the set of all dense elements of H is H ∖ {0}. (ii) H is a local Hilbert algebra if and only if the set of all regular elements of H is a local Boolean algebra. In a local Hilbert algebra H with supremum, we prove that: (i) If F is a Boolean filter of H, then F is a prime filter. (ii) F is a Boolean filter iff F is a maximal filter iff F = H ∖ {0}.
Acknowledgement
The authors are extremely grateful to the referees for their valuable comments and helpful suggestions which helped to improve the presentation of this paper.
References
[1] Burris, S.—Sankappanavar, H. P.: A Course in Universal Algebra, Springer-Verlag, 1981.10.1007/978-1-4613-8130-3Search in Google Scholar
[2] Busneag, D.: Categories of Algebraic Logic, Ed. Academiei Române, 2006.Search in Google Scholar
[3] Busneag, D.: On the maximal deductive system of a bounded Hilbert algebra, Bull. Math. Soc. Sci. Math. Roumanie 31 (1987), 9–21.Search in Google Scholar
[4] Busneag, D.—Ghita, M.: Some latticial properties of Hilbert algebras, Bull. Math. Soc. Sci. Math. Roumanie 53 (2010), 87–107.Search in Google Scholar
[5] Celani, S. A.: α-ideal and α-deductive systems in bounded Hilbert algebras, J. Mult.-Valued Logic Soft Comput. 21 (2013), 1–18.Search in Google Scholar
[6] Celani, S. A.—Montangie, D.: Hilbert algebras with supremum, Algebra Universalis 67 (2012), 237–255.10.1007/s00012-012-0178-zSearch in Google Scholar
[7] Celani, S. A.: Notes on bounded Hilbert algebras with supremum, Acta Sci. Math. (Szeged) 80 (2014), 3–19.10.14232/actasm-012-267-9Search in Google Scholar
[8] Dan, C.: Hilbert algebras of fractions, Int. J. Math. Math. Sci. (2009), Art. ID 589830.10.1155/2009/589830Search in Google Scholar
[9] Diego, A.: Sur les Algebres de Hilbert, Collection de Logique Mathematique, Edition Hermann, Serie A, XXI, 1966.Search in Google Scholar
[10] Gluschankof, D.—Tilli, M.: Maximal deductive systems and injective objects in the category of Hilbert algebras, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), 213–220.10.1002/malq.19880340305Search in Google Scholar
[11] Idziak P. M.: Lattice operations in BCK- algebras, Math. Japonica 29 (1984), 839–846.Search in Google Scholar
[12] Mohtashamnia, N.—Borumand Saeid, A.: Special BL-algebra, An. Univ. Craiova Ser. Mat. Inform. 39 (2012), 8–20.Search in Google Scholar
[13] Monteiro, A.: Sur les algebres de Heyting symetriques, Port. Math. 39 (1980), 1–4.Search in Google Scholar
[14] Muresan, C.: Dense elements and classes of residuated lattices, Bull. Math. Soc. Sci. Math. Roumanie 53 (2010), 11–24.Search in Google Scholar
[15] Nasab, A. S.—Borumand Saeid, A.: Study of Hilbert algebras in point of filters, An. Ştiinţ. Univ. “Ovidius” Constanţa Ser. Math. (to appear).10.1515/auom-2016-0039Search in Google Scholar
[16] Piciu, D.: Algebras of Fuzzy Logic, Ed. Universitaria, Craiova, 2007.Search in Google Scholar
[17] Turunen, E.: Boolean deductive systems of B-algebras, Arch. Math. Logic 40 (2001), 467–473.10.1007/s001530100088Search in Google Scholar
© 2017 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Some results in local Hilbert algebras
- A note on residuated po-groupoids and lattices with antitone involutions
- The first law of cubology for the Rubik’s Revenge
- Conditional associativity in orthomodular lattices
- A monotonicity property for generalized Fibonacci sequences
- Systems of conditionally independent sets
- On the k-th order lfsr sequence with public key cryptosystems
- On parametric spaces of bicentric quadrilaterals
- Character sums with an explicit evaluation
- Some remarks on formal power series and formal Laurent series
- The co-rank of the fundamental group: The direct product, the first Betti number, and the topology of foliations
- On prime and semiprime generalized hyperaction of hypermonoid
- On O’Malley ϱ-upper continuous functions
- Uniqueness theorems for finitely additive probabilities on quantum structures
- Some results on differential-difference analogues of Brück conjecture
- Oscillation of neutral second order half-linear differential equations without commutativity in deviating arguments
- On support, separation and decomposition theorems for t-Wright-concave functions
- A characterization of holomorphic bivariate functions of bounded index
- Asymptotic expansion of double Laplace-type integrals with a curve of minimal points and application to an exit time problem
- The geometry of two-valued subsets of Lp-spaces
- Hemi-slant submanifolds as warped products in a nearly Kaehler manifold
- A comparison of two tests in multivariate models
- Modelling prescription behaviour of general practitioners
- Characterization of congruence lattices of principal p-algebras
Articles in the same Issue
- Some results in local Hilbert algebras
- A note on residuated po-groupoids and lattices with antitone involutions
- The first law of cubology for the Rubik’s Revenge
- Conditional associativity in orthomodular lattices
- A monotonicity property for generalized Fibonacci sequences
- Systems of conditionally independent sets
- On the k-th order lfsr sequence with public key cryptosystems
- On parametric spaces of bicentric quadrilaterals
- Character sums with an explicit evaluation
- Some remarks on formal power series and formal Laurent series
- The co-rank of the fundamental group: The direct product, the first Betti number, and the topology of foliations
- On prime and semiprime generalized hyperaction of hypermonoid
- On O’Malley ϱ-upper continuous functions
- Uniqueness theorems for finitely additive probabilities on quantum structures
- Some results on differential-difference analogues of Brück conjecture
- Oscillation of neutral second order half-linear differential equations without commutativity in deviating arguments
- On support, separation and decomposition theorems for t-Wright-concave functions
- A characterization of holomorphic bivariate functions of bounded index
- Asymptotic expansion of double Laplace-type integrals with a curve of minimal points and application to an exit time problem
- The geometry of two-valued subsets of Lp-spaces
- Hemi-slant submanifolds as warped products in a nearly Kaehler manifold
- A comparison of two tests in multivariate models
- Modelling prescription behaviour of general practitioners
- Characterization of congruence lattices of principal p-algebras
