zbMATH — the first resource for mathematics

Towards paraconsistent engineering. (English) Zbl 1366.03010
Intelligent Systems Reference Library 110. Cham: Springer (ISBN 978-3-319-40417-2/hbk; 978-3-319-40418-9/ebook). xvi, 234 p. (2016).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Akama, Seiki; da Costa, Newton C. A., Why paraconsistent logics?, 7-24 [Zbl 1429.03101]
da Costa, Newton C. A.; Krause, Décio, An application of paraconsistent logic to physics: complementarity, 25-34 [Zbl 1429.03105]
Beziau, Jean-Yves, Two genuine 3-valued paraconsistent logics, 35-47 [Zbl 1429.03104]
Akama, Seiki, A survey of annotated logics, 49-76 [Zbl 1429.03100]
da Silva Filho, João Inácio; da Cruz, Clovis Misseno; Rocco, Alexandre; Vilanova Garcia, Dorotéa; Ferrara, Luís Fernando P.; Onuki, Alexandre Shozo; Conceição Mario, Mauricio; Abe, Jair Minoro, Paraconsistent artificial neural network for structuring statistical process control in electrical engineering, 77-102 [Zbl 1429.93221]
Nakamatsu, Kazumi; Akama, Seiki, Programming with annotated logics, 103-164 [Zbl 1429.68041]
Kudo, Yasuo; Murai, Tetsuya; Akama, Seiki, A review on rough sets and possible world semantics for modal logics, 165-177 [Zbl 1429.03174]
Murai, Tetsuya; Kudo, Yasuo; Akama, Seiki, Paraconsistency, Chellas’s conditional logics, and association rules, 179-196 [Zbl 1429.03120]
Doria, Francisco Antonio; Cosenza, Carlos A., A beautiful theorem, 197-203 [Zbl 1429.91161]
Alliot, Jean-Marc; Demolombe, Robert; Diéguez, Martín; Fariñas del Cerro, Luis; Favre, Gilles; Faye, Jean-Charles; Obeid, Naji; Sordet, Olivier, Temporal logic modeling of biological systems, 205-226 [Zbl 1429.92071]
Akama, Seiki, Jair Minoro Abe on paraconsistent engineering, 227-234 [Zbl 1429.01020]
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B53 Paraconsistent logics
03B70 Logic in computer science
03B80 Other applications of logic
00B15 Collections of articles of miscellaneous specific interest
Full Text: DOI