Towards paraconsistent engineering
From MaRDI portal
Publication:514222
DOI10.1007/978-3-319-40418-9zbMath1366.03010OpenAlexW2494744678MaRDI 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
Collections of articles of miscellaneous specific interest (00B15) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Paraconsistent logics (03B53) Other applications of logic (03B80)
Related Items (4)
К вопросу о критерии паранепротиворечивости логик ⋮ Paraconsistent Transition Systems ⋮ On the question of the criteria for the paracompleteness of logics ⋮ Unnamed Item
This page was built for publication: Towards paraconsistent engineering
