Neutrosophic set theory applied to Hilbert algebras