Branch Mathematics and Statistics Faculty and Staff Publications

Document Type


Publication Date



ThisbookwrittenbyA. Schumann &F. Smarandache isdevotedtoadvances of non-Archimedean multiple-validity idea and its applications to logical reasoning. Leibnitz was the first who proposed Archimedes’ axiom to be rejected. He postulated infinitesimals (infinitely small numbers) of the unit interval [0,1] which are larger than zero, but smaller than each positive real number. Robinson applied this idea into modern mathematics in [117] and developed so-called non-standard analysis. In the framework of non-standard analysis there were obtained many interesting results examined in [37], [38], [74], [117].

There exists also a different version of mathematical analysis in that Archimedes’ axiom is rejected, namely, p-adic analysis (e.g., see: [20], [86], [91], [116]).


Let us remember that the first logical multiple-valued system is proposed by the Polish logician Jan L ukasiewicz in [90]. For the first time he spoke about the idea of logical many-validity at Warsaw University on 7 March 1918 (Wyk lad poz˙egnalny wyg loszony w auli Uniwersytetu Warszawskiego w dniu 7 marca 1918 r., page 2). However L ukasiewicz thought already about such a logic and rejection of the Aristotelian principle of contradiction in 1910 (O zasadzie sprzeczno`sci u Arystotelesa, Krak´ow 1910). Creating many-valued logic, L ukasiewicz was inspired philosophically. In the meantime, Post designed his many-valued logic in 1921 in [105] independently and for combinatorial reasons as a generalization of Boolean algebra.


American Research Press



Language (ISO)



neutrality, many-valued logic, Jan Lukasiewicz

Creative Commons License

Creative Commons Attribution 4.0 International License
This work is licensed under a Creative Commons Attribution 4.0 International License.