Computer Science – Logic in Computer Science
Scientific paper
2007-07-21
A. Schumann, F. Smarandache, Neutrality and Many-Valued Logics. American Research Press, 2007
Computer Science
Logic in Computer Science
119 pages
Scientific paper
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.
Schumann Andrew
Smarandache Florentin
No associations
LandOfFree
Neutrality and Many-Valued Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Neutrality and Many-Valued Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Neutrality and Many-Valued Logics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-59341