Cantitate/Preț
Produs
Total produse
Vezi coșul
Introduction to Annotated Logics de Jair Minoro Abe

Introduction to Annotated Logics: Intelligent Systems Reference Library, cartea 88

Autor Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
en Limba Engleză Hardback – 21 apr 2015
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.
Citește tot Restrânge

Din seria Intelligent Systems Reference Library

Preț: 66962 lei

Preț vechi: 83702 lei
-20%

Puncte Express: 1004
Paperback 61925 lei
Hardback 66962 lei

Carte tipărită la comandă

Livrare economică 08-22 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319179117
ISBN-10: 331917911X
Pagini: 200
Ilustrații: X, 190 p. 22 illus.
Dimensiuni: 160 x 241 x 17 mm
Greutate: 0.42 kg
Ediția:2015
Editura: Springer
Colecția Intelligent Systems Reference Library
Seria Intelligent Systems Reference Library

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.

Recenzii

“This book constitutes a useful tool for researchers interested in annotated logics and their application to paraconsistent and paracomplete reasoning. … results collected from different sources are accompanied by proofs, making the book a very useful and valuable reference text for a specialized reader.” (Pedro Cabalar, Mathematical Reviews, October, 2017)

Textul de pe ultima copertă

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

Caracteristici

Provides logical foundations for annotated logics Discusses interesting applications of annotated logics Presents the foundations for paracomplete and paraconsistent reasoning Includes supplementary material: sn.pub/extras

Notă biografică

Jair Minoro Abe received a B.A. and M.Sc. in Pure Mathematics—University of São Paulo, Brazil. Abe also received his doctoral degree and Livre-Docente title from the same university. He acted as coordinator of the Logic Area of the Institute of Advanced Studies—University of São Paulo, Brazil (1986-2019) and Full Professor at Paulista University—Brazil. He is Senior Member of IEEE.

Professor Abe is a studious of a family of Paraconsistent Annotated Logic used to solve many complex problems in engineering. He is considered one of the pioneers in this domain. He has authored/edited books on Paraconsistent and related logic published by Springer Germany and other reputed publishers.

He is the recipient of many awards, including medals for his academic performance, and has received many best paper awards.