Name: Metainferential Logics
Price: 3418.00 TWD
Availability: InStock
Author: Bruno Da Re;Federico Pailos
ISBN: 9783031443831

Type

Physical Book

Publisher

Springer International Publishing AG

Author

Bruno Da Re;Federico Pailos

Collection

Trends in Logic

Year

2024

Pages

134

Format

Paperback

Dimensions

23.50 x 15.50 cm

ISBN13

9783031443831

Metainferential Logics

Bruno Da Re;Federico Pailos (Author) · Springer International Publishing AG · Paperback

Cheaper New Book Imported to Taiwan

Delivery: 22 Sep - 05 Oct

NT$ 3,418

Faster New Book Imported to Taiwan

Delivery: 16 Sep - 25 Sep

NT$ 3,804

NT$ 3,418

Add to Wishlist

Synopsis "Metainferential Logics"

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.