Structured Specification of Paraconsistent Transition Systems
Structured Specification of Paraconsistent Transition Systems
No Thumbnail Available
Date
2023
Authors
Luís Soares Barbosa
Alexandre Castro Madeira
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. © 2023, IFIP International Federation for Information Processing.