Name: Metainferential Logics (en Inglés)
Price: 114.52 USD
Availability: InStock
Author: Pailos, Federico ; Da Ré, Bruno
ISBN: 9783031443800

portada Metainferential Logics (en Inglés)

Formato

Libro Físico

Autor

Federico Pailos

Bruno Da Ré

Editorial

Springer

Idioma

Inglés

N° páginas

134

Encuadernación

Tapa Dura

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.38 kg.

ISBN13

9783031443800

Categorías

Lógica matemática
Álgebra
Filosofía: lógica

Metainferential Logics (en Inglés)

Federico Pailos (Autor) · Bruno Da Ré (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 190.86$ 114.52

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 114.52

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Metainferential Logics (en Inglés)"

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics.This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics - namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic.