Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
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.