We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show the soundness and completeness of the logical calculus based on this rule, as well as other applications. The rule is defined by means of a new kind of operator on propositional formulae. It is based on the boolean derivatives on the polynomial ring .
CITATION STYLE
Baker, J., Sexton, A., & Sorge, V. (2009). Intelligent Computer Mathematics. Intelligent Computer Mathematics (Vol. 5625, pp. 201–216). Springer International Publishing. Retrieved from http://www.springerlink.com/index/4685252622207376.pdf%5Cnhttp://www.springerlink.com/index/10.1007/978-3-642-02614-0
Mendeley helps you to discover research relevant for your work.