What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Neutrality and Many-Valued Logics

Loading...

You must sign in to do that.

Forgot password?

Neutrality and Many-Valued Logics

Neutrality and Many-Valued Logics

,

Neutrality and Many-Valued Logics

,

Score: 10.00 | 1 vote
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2007
Publisher:American Research Press
Pages:121 pages
Language:english
Since:21/08/2015
Size:567 KB
License:Pending review

Content:

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. Recall that hypersequents are a natural generalization of Gentzen’s style sequents that was introduced independently by Avron and Pottinger. In particular, we examine Hilbert’s style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Lukasiewicz’s, Godel’s, and Product logics.

We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrationalvalued, 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, Godel’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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

21/08/2015

rate score

5

votes

1

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...