Possibilistic intermediate logic Online publication date: Sat, 23-Aug-2014
by Oscar Hernán Estrada-Estrada; José Ramón Enrique Arrazola-Ramírez; Mauricio Javier Osorio-Galindo
International Journal of Advanced Intelligence Paradigms (IJAIP), Vol. 4, No. 2, 2012
Abstract: 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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Advanced Intelligence Paradigms (IJAIP):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com