Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Paraconsistent transition systems and their logics"

by Luis S. Barbosa

Tue, 25 April 2023 at 11:10 am in Paris, France

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.