For the classical Geometry, in a geometrical space, all items (concepts, axioms, theorems, etc.) are totally (100%) true. But, in the real world, many items are not totally true. The NeutroGeometry is a geometrical space that has some items that are only partially true (and partially indeterminate, and partially false), and no item that is totally false. The AntiGeometry is a geometrical space that has some item that are totally (100%) false. While the Non-Euclidean Geometries [hyperbolic and elliptic geometries] resulted (...) from the total negation of only one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom [and in general: theorem, concept, idea etc.] and even of more axioms [theorem, concept, idea, etc.] and in general from any geometric axiomatic system (Euclid’s five postulates, Hilbert’s 20 axioms, etc.), and the NeutroAxiom results from the partial negation of any axiom (or concept, theorem, idea, etc.). Clearly, the AntiGeometry is a generalization of Non-Euclidean Geometries. (shrink)

In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which may (...) or may not be disjoint – depending on the application, but they are exhaustive (their union equals the whole space). A NeutroAlgebra is an algebra which has at least one NeutroOperation or one NeutroAxiom (axiom that is true for some elements, indeterminate for other elements, and false for the other elements). A Partial Algebra is an algebra that has at least one Partial Operation, and all its Axioms are classical (i.e. axioms true for all elements). Through a theorem we prove that NeutroAlgebra is a generalization of Partial Algebra, and we give examples of NeutroAlgebras that are not Partial Algebras. We also introduce the NeutroFunction (and NeutroOperation). (shrink)