IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Paraconsistent transition systems and their logics"

by Luis S. Barbosa

Wed, 19 January 2022 at 11:00 am in Salzburg, Austria

Joint work with: Ana Cruz, Alexandre Madeira

Abstract: Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. This talk, reporting on recent joint work with Ana Cruz and Alexandre Madeira, introduces a variant of transition systems endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values. Such paraconsistent transition systems provide a basis to generalise Belnap-Dunn four-valued logic, with possible applications in different domains, namely to reason about decoherence in current quantum computing devices.