2018-06-052018-06-052009Alonso Jiménez, J.A., Aranda Corral, G.A. y Borrego Díaz, J. (2009). Sistema certificado de decisión proposicional basado en polinomios. En CLAI 2009: Workshop on Computational Logics and Artificial Intelligence (101-111), Sevilla, España: Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial.https://hdl.handle.net/11441/75637En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que sirve para diseñar un procedimiento de decisión proposicional. En el presente trabajo presentamos una implementación en Haskell del procedimiento y su certificación mediante QuickCheck.application/pdfspaAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess