Towards paraconsistent engineering

DOI10.1007/978-3-319-40418-9zbMath1366.03010MaRDI QIDQ514222

No author found.

Publication date: 28 February 2017

Published in: Intelligent Systems Reference Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40418-9

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

03B70: Logic in computer science

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

03B53: Paraconsistent logics

03B80: Other applications of logic