Logic and Foundations Commons^™

Neutrosophic Axiomatic System, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we introduce for the first time the notions of Neutrosophic Axiom, Neutrosophic Axiomatic System, Neutrosophic Deducibility and Neutrosophic Inference, Neutrosophic Proof, Neutrosophic Tautologies, Neutrosophic Quantifiers, Neutrosophic Propositional Logic, Neutrosophic Axiomatic Space, Degree of Contradiction (Dissimilarity) of Two Neutrosophic Axioms, and Neutrosophic Model. A class of neutrosophic implications is also introduced. A comparison between these innovatory neutrosophic notions and their corresponding classical notions is made. Then, three concrete examples of neutrosophic axiomatic systems, describing the same neutrosophic geometrical model, are presented at the end of the paper.

Symbolic Neutrosophic Theory, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Symbolic (or Literal) Neutrosophic Theory is referring to the use of abstract symbols (i.e. the letters T, I, F, or their refined indexed letters T_j, I_k, F_l) in neutrosophics.

In the first chapter we extend the dialectical triad thesis-antithesis-synthesis (dynamics of A and antiA, to get a synthesis) to the neutrosophic tetrad thesis-antithesis-neutrothesis-neutrosynthesis (dynamics of A, antiA, and neutA, in order to get a neutrosynthesis).

In the second chapter we introduce the neutrosophic system and neutrosophic dynamic system. A neutrosophic system is a quasi- or –classical system, in the sense that the neutrosophic …