Neutrosophic sets and logic