Classical Logic as a subclass of Neutrosophic Logic
Journal Title: International Journal of Neutrosophic Science (IJNS) - Year 2020, Vol 6, Issue 1
Abstract
It is customary in mathematics that almost all new developments maintain compatibility with what is already proved and accepted. Following this way, neutrosophic logic has the classical logic as subset. However, in mathematics, all the affirmations must be proved first to be accepted, so the claim that the neutrosophic logic encompass classical logic must be also proved. Thus, this paper show that the main properties of the classical logic hold when translated to neutrosophic form at propositional level.
Authors and Affiliations
Angelo de Oliveira , Marina Nogueira Carvalho de Oliveira
AH-Substructures in Neutrosophic Modules
This article introduces the concept of AH-submodule, AHS-submodule of a neutrosophic module, and AHS-homomorphism. This work presents some basic notions and properties of these concepts such as AH-Kernel, AH-Quotient, an...
Introduction to NeutroGroups
The objective of this paper is to formally present the concept of NeutroGroups by considering three NeutroAxioms (NeutroAssociativity, existence of NeutroNeutral element and existence of NeutroInverse element). Several i...
NEUTRO-BCK-ALGEBRA
This paper introduces the novel concept of Neutro-BCK-algebra. In Neutro-BCK-algebra, the outcome of any given two elements under an underlying operation (neutro-sophication procedure) has three cases, such as: appurtena...
Neutrosophic Crisp Semi Separation Axioms In Neutrosophic Crisp Topological Spaces
The main goal of this paper is to propose a new type of separation axioms via neutrosophic crisp semi open sets and neutrosophic crisp points in neutrosophic crisp topological spaces, namely neutrosophic crisp semi separ...
On single valued neutrosophic sets and neutrosophic א-structures: Applications on algebraic structures (hyperstructures)
In this paper, we find a relationship between SVNS and neutrosophic N-structures and study it. Moreover, we apply our results to algebraic structures (hyperstructures) and prove that the results on neutrosophic N-substr...