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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
GRATIS
In U.S.A.
Descrizione libro Hardcover. Condizione: new. Codice articolo 9783319179117
Descrizione libro Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 200 pp. Englisch. Codice articolo 9783319179117
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020090229
Descrizione libro Condizione: New. Codice articolo 23521231-n
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783319179117_lsuk
Descrizione libro Condizione: New. Codice articolo 23521231-n
Descrizione libro Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides logical foundations for annotated logicsDiscusses interesting applications of annotated logicsPresents the foundations for paracomplete and paraconsistent reasoningThis book is written as an introduction to annotated log. Codice articolo 23433098
Descrizione libro Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783319179117
Descrizione libro Hardcover. Condizione: Brand New. 9.50x6.25x0.75 inches. In Stock. Codice articolo x-331917911X
Descrizione libro Codice articolo STOCK12116832