{"id":"arxiv/2609.11491","url":"https://arxiv.org/abs/2609.11491","tags":["math.LO"],"score":0,"title":"Possibilistic Logic over a Logic of Formal Inconsistency","domain":"math.LO","source":"arxiv","authors":["Esha Jain","Sankha S. Basu"],"reviews":0,"subject":"math.LO","summary":"In this article, we have introduced a new possibilistic logic on a logic of formal inconsistency with the aim of developing a possibility theoretic framework to deal with uncertainty and inconsistency meaningfully without leading to a system collapse. We have discussed the syntax and semantics for this logic and have proved the soundness and completeness theorems. A set of new measures of consistency, contradictoriness, and triviality of a set of formulas have been defined. These have then been put to use in an example to show that this framework can provide better means of machine reasoning.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}