Possibilistic intermediate logic
Oscar Hernán Estrada-Estrada, José Ramón Enrique Arrazola Ramírez, Mauricio Javier Osorio Galindo · International Journal of Advanced Intelligence Paradigms · 2012
We define what we call ‘possibilistic intermediate logic (PIL)’; we present results analogous to those of the well-known intermediate logic, such as a deduction theorem, a generalised version of the deduction theorem, a cut rule, a weak version of a refutation theorem, a substitution theorem and Glivenko’s theorem. Also, we present a definition for ‘possibilistic safe beliefs’. This definition allows us to establish a relation between safe beliefs, as presented on ‘applications of intuitionistic logic in answer set programming’ by Osorio et al., and our version for possibilistic intermediate logic (PILX). We also present a characterisation of possibilistic safe beliefs for possibilistic normal logic programs.