Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

2015 | Buch

Introduction Kapitel lesen Erstes Kapitel lesen

Introduction to Annotated Logics

Foundations for Paracomplete and Paraconsistent Reasoning

verfasst von: Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu

Verlag: Springer International Publishing

Buchreihe : Intelligent Systems Reference Library

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Einloggen, um Zugang zu erhalten
insite
SUCHEN

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter
Chapter 1. Introduction
Abstract
This chapter gives motivations and the history of annotated logics as an introduction to this book. First, we discuss the importance of annotated logics in connection with paraconsistent logics. Second, we present the history of annotated logics by reviewing the literature on the subject.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 2. Propositional Annotated Logics $$P\tau $$ P τ
Abstract
This chapter introduces the propositional annotated logics \(P\tau \). We present a Hilbert style axiomatization of \(P\tau \) and their semantics. We show some formal results including completeness.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 3. Predicate Annotated Logics $$Q\tau $$ Q τ
Abstract
This chapter studies the predicate annotated logics \(Q\tau \), which can be seen as a predicate extension of \(P\tau \). Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 4. Formal Issues
Abstract
This chapter discusses formal issues of annotated logics. We describe an algebraic semantics for \(P\tau \) based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 5. Variants and Related Systems
Abstract
This chapter reviews some variants of annotated logics and related systems in the literature. Variants include fuzzy annotated logics, possibilistic annotated logics, inductive annotated logics, and structural annotated logics. We also compare annotated logics with related systems such as Labelled Deductive Systems and General Logics. Finally, we review systems of paraconsistent logics.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 6. Applications
Abstract
This chapter discusses applications of annotated logics for various areas. After reviewing paraconsistent logic programming and generalized annotated logic programming, we survey promising applications to knowledge representation, neural computing, automation and robotics.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Chapter 7. Conclusions
Abstract
This chapter gives some conclusions with the summary of the book. It is possible to conclude that annotated logics are very interesting theoretically as well as practically. However, there are some future problems to be worked out.
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Backmatter
Metadaten
Titel
Introduction to Annotated Logics
verfasst von
Jair Minoro Abe
Seiki Akama
Kazumi Nakamatsu
Copyright-Jahr
2015
Electronic ISBN
978-3-319-17912-4
Print ISBN
978-3-319-17911-7
DOI
https://doi.org/10.1007/978-3-319-17912-4