The Logics' Explorer : a Maple package for exploring finite many-valued propositional logics

Author: Roanes-Lozano Eugenio  

Publisher: Springer Publishing Company

ISSN: 1578-7303

Source: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, Vol.105, Iss.2, 2011-09, pp. : 323-337

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract