¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Neutrality and Many-Valued Logics

Cargando...

Debes iniciar sesión para hacer esto.

Neutrality and Many-Valued Logics

Neutrality and Many-Valued Logics

,

Neutrality and Many-Valued Logics

,

Puntuación: ---- | 0 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2007
Editor:American Research Press
Páginas:121 páginas
Idioma:inglés
Desde:21/08/2015
Tamaño:567 KB
Licencia:Pendiente de revisión

Contenido:

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.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

21/08/2015

puntuación

Nothing yet...

votos

Nothing yet...

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...