114 research outputs found
Non-Solvable Spaces of Linear Equation Systems
Different from the homogenous systems, a Smarandache system is a contradictory system in which an axiom behaves in at least two different ways within the same system, i.e., validated and invalided, or only invalided but in multiple distinct ways
Neutrality and Many-Valued Logics
In this book, we consider various many-valued logics: standard, linear,
hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We
survey also results which show the tree different proof-theoretic frameworks
for many-valued logics, e.g. frameworks of the following deductive calculi:
Hilbert's style, sequent, and hypersequent. We present a general way that
allows to construct systematically analytic calculi for a large family of
non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and
p-adic valued logics characterized by a special format of semantics with an
appropriate rejection of Archimedes' axiom. These logics are built as different
extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's,
Product, and Post's logics). The informal sense of Archimedes' axiom is that
anything can be measured by a ruler. Also logical multiple-validity without
Archimedes' axiom consists in that the set of truth values is infinite and it
is not well-founded and well-ordered. On the base of non-Archimedean valued
logics, we construct non-Archimedean valued interval neutrosophic logic INL by
which we can describe neutrality phenomena.Comment: 119 page
The notions of the SMARANDACHE GROUP and the SMARANDACHE BOOLEAN RING
The notions of the Snmarandache group and the Smarandache Boolean ring are introduced here with the help of group action and ring action i.e. module respectively. The centre of the Smarandache groupoid is determined. These are very important for the study of Algebraic structures
ADVANCE OF SMARANDACHE APPROACH TO SOLVING SYSTEMS OF DIOPHANTlNE EQUATIONS
By developing F. Smarandache (algebraic) approach to solving systems of
Diophantine equations we elaborate a set of new computative algorithms and
analytical formulae, which may be used for fmding numerical solutions of some
combinatorial and number-theoretic problems
- …