Juliana Cunha (CIDMA, Universidade de Aveiro)
Paraconsistent logics provide a framework for treating inconsistencies as potentially informative without collapsing into triviality. In this talk, we introduce the motivation behind such reasoning and outline a framework in which information is represented by pairs of values parametric over a lattice. Each pair simultaneously captures evidence for and against a statement, thus naturally accommodating a range of scenarios: vagueness, consistency, and inconsistency.
Although preserving all available information is often desirable at the modelling level, practical implementation and verification tasks may require concrete bivalent outcomes. Motivated by this challenge, we explore three approaches to taming the introduced paraconsistent semantics by filtering truth values, models, and the satisfaction relation. We then establish connections between these approaches and discuss directions for future research.
Poster