Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Innbundet /
2015
/ Engelsk
Produktdetaljer
ISBN
9783319179117
Publisert
2015-04-21
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
“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)<br />
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.
Les mer
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.
Les mer
Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.
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.
Les mer
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
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783319179117
Publisert
2015-04-21
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet