A Logic for Paraconsistent Transition Systems

Autor:	Cruz, Ana, Madeira, Alexandre, Barbosa, Luís Soares
Rok vydání:	2022
Předmět:	Computer Science - Logic in Computer Science F.3.1
Zdroj:	EPTCS 358, 2022, pp. 270-284
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.358.20
Popis:	Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic. Comment: In Proceedings NCL 2022, arXiv:2204.06359
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2204.06737 Zobrazit plný text záznamu View this record from Arxiv