Towards paraconsistent engineering

DOI10.1007/978-3-319-40418-9MaRDI QIDQ514222zbMATH OpenOpenAlexFDO

Authors

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

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Paraconsistent logics (03B53) Logic in computer science (03B70) Other applications of logic (03B80)

Cited in

(9)

• scientific article; zbMATH DE number 7561490 (Why is no real title available?)
• К вопросу о критерии паранепротиворечивости логик
• Paraconsistent Transition Systems
• On the question of the criteria for the paracompleteness of logics
• Structured specification of paraconsistent transition systems
• A logic for paraconsistent transition systems
• Paraconsistent relations as a variant of Kleene algebras
• Paraconsistent transition structures: compositional principles and a modal logic
• An engine breaking the \(\Omega\)EP-property

This page was built for publication: Towards paraconsistent engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514222)