×

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]
MSC:
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
PDF BibTeX XML Cite
Full Text: DOI