Skip to main content
SpringerLink
Log in

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

  • Published:
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas Aims and scope Submit manuscript

Abstract

The big computer algebra systems like Maple are no longer restricted to symbolic computations, but are becoming general purpose tools for engineers, mathematicians, and scientists instead. We have worked for a long time with many-valued logics and we believe that a flexible and comfortable tool that allowed to perform logical computations (for instance, to explore properties) in any existing or proposed many-valued logic with any notation for the truth values of the logic, could be very useful and time-saving. Therefore we have implemented such an extension of Maple that goes beyond Maple’s logic package and also beyond some previous implementations of these authors included with the Derive and Macsyma distributions some years ago. The logical connectives can be defined both using truth tables or in a functional way.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Robinson, A., Voronkov, A. (eds): Handbook of Automated Reasoning. Elsevier, Amsterdam (2006)

    Google Scholar 

  2. Hähnle R., Escalada-Imaz G.: Deduction in many-valued logics: a survey. Mathware Soft Comput. 4, 69–97 (1997)

    MathSciNet  MATH  Google Scholar 

  3. Hsiang J.: Refutational theorem proving using term-rewriting systems. Artif. Intell. 25, 255–300 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  4. Kapur, D., Narendran, P.: An equational approach to theorem proving in first-order predicate calculus. 84CRD296, General Electric Corporate Research and Development Report, Schenectady, NY, March 1984, rev Dec 1984. Also In: Joshi, A.K. (ed.) Proceedings of IJCAI-85, pp. 1146–1153. Morgan Kaufmann, San Francisco (1985)

  5. Halmos P.R.: Lectures on Boolean Algebras. Springer, New York (1974)

    MATH  Google Scholar 

  6. Hermes H.: La teoría de retículos y su aplicación a la lógica matemática. Conf. Mat. VI. CSIC-Madrid, Madrid (1963)

    Google Scholar 

  7. Mendelson E.: Theory and Problems of Boolean Algebras and Switching Circuits. Schaum’s/ MacGraw-Hill, New York (1970)

    Google Scholar 

  8. Monk D.: Handbook of Boolean Algebras. North-Holland, Amsterdam (1989)

    MATH  Google Scholar 

  9. Stone M.: The theory of representations for Boolean algebras. Trans. AMS 40, 37–111 (1940)

    Google Scholar 

  10. Roanes-Lozano E., Laita L.M., Hernando A., Roanes-Macías E.: An algebraic approach to rule based expert systems. RACSAM 104/1, 19–40 (2010)

    Article  Google Scholar 

  11. Buchberger B.: Bruno Buchberger’s PhD thesis 1965: an algorithm for finding the basis elementals of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3–4), 475–511 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Cox D., Little J., O’Shea D.: Ideals, Varieties, and Algorithms. Springer, New York (1992)

    MATH  Google Scholar 

  13. Roanes-Lozano E., Roanes-Macías E., Laita L.M.: The geometry of algebraic systems and their exact solving using Groebner bases. Comput. Sci. Eng. 6(2), 76–79 (2004)

    Article  Google Scholar 

  14. Roanes-Lozano E., Roanes-Macías E., Laita L.M.: Some applications of Gröbner bases. Comput. Sci. Eng. 6(3), 56–60 (2004)

    Article  Google Scholar 

  15. Malinowski G.: Many-valud logic and its philosophy. In: Gabbay, D.M., Woods, J. (eds) Handbook of the History of Logic, vol. 8, pp. 13–94. Elsevier, Amsterdam (2007)

    Google Scholar 

  16. Rescher N.: Many-Valued Logic. McGraw-Hill, New York (1969)

    MATH  Google Scholar 

  17. Rosser J.B., Turquette A.R.: Many-Valued Logics. North-Holland, Amsterdam (1952)

    MATH  Google Scholar 

  18. Turner R.: Logics for Artificial Intelligence. Ellis Horwood, Chichester (1984)

    Google Scholar 

  19. Fitting M.: Kleene’s three valued logics and their children. Fundam. Inform. 20, 113–131 (1994)

    MathSciNet  MATH  Google Scholar 

  20. Smith, N.J.J.: Many-valued logics. In: Fara, D.G., Russell, G. (eds.) Routledge Companion to the Philosophy of Language (2011, in press). http://www-personal.usyd.edu.au/~njjsmith/papers

  21. Alonso J.A., Briales E.: Lógicas Polivalentes y Bases de Gröbner. In: Vide, M. (ed.) Proceedings of the V Congress on Natural Languages and Formal Languages, pp. 307–315. Barcelona University Press, Barcelona (1989)

    Google Scholar 

  22. Chazarain J., Riscos A., Alonso J.A., Briales E.: Many-valued Logic and Gröbner Bases with Applications to Modal Logic. J. Symb. Comput. 11, 181–194 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  23. Roanes-Lozano E., Laita L.M., Roanes-Macías E.: A polynomial model for many-valued logics with a touch of algebraic geometry and computer algebra. Math. Comput. Simul. 45(1), 83–99 (1998)

    Article  MATH  Google Scholar 

  24. Roanes-Lozano E., Laita L.M., Roanes-Macías E.: Maple V in A.I.: the Boolean algebra associated to a KBS. CAN Nieuwsbrief 14, 65–70 (1995)

    Google Scholar 

  25. Roanes-Lozano E., Hernando A., Laita L.M., Roanes-Macías E.: A Groebner bases-based approach to backward reasoning in rule based expert systems. Ann. Math. Artif. Intell. 56(3–4), 297–311 (2009). doi:10.1007/s10472-009-9147-4

    Article  MathSciNet  MATH  Google Scholar 

  26. Roanes-Lozano E., Roanes-Macías E., Laita L.M.: Geometric Interpretation of strong inconsistency in knowledge based systems. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. Proceedings of CASC’99, pp. 349–363. Springer, Berlin (1999)

    Google Scholar 

  27. Hernando A., Roanes-Lozano E., Laita L.M.: A polynomial model for logics with a prime power number of truth values. J. Autom. Reason. 46, 205–221 (2011). doi:10.1007/s10817-010-9191-0

    Article  MathSciNet  MATH  Google Scholar 

  28. Anderson, A.R., Belnap, N.D. Jr., Dunn, J.M.: Entailment. The Logic of Relevance and Necessity (vol. II, chap. XII, §81. A useful four-valued logic: How a computer should think), pp. 506–541. Princeton University Press, Princeton (1992)

  29. Belnap N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel, Dordrecht (1977)

    Google Scholar 

  30. Weber, S.: Investigations in Belnap’s logic of inconsistent and unknown information. Ph.D. Thesis, Universität Leizpig, Leizpig (1998). http://deposit.ddb.de/cgi-bin/dokserv?idn=959118233&dok_var=d1&dok_ext=pdf&filename=959118233.pdf

  31. Rodrigues, O., Russo, A.: A translation method for Belnap logic. Imperial College Research Report DoC98/7. http://www.doc.ic.ac.uk/research/technicalreports/1998/#7

  32. Coehn D.H.: A new Axiomatization of Belnap’s Conditional Assertion. Notre Dame J. Form. Logic 27/1, 124–132 (1986)

    Article  Google Scholar 

  33. Carnielli, W.: Polynomial ring calculus for logical inference. State University of Campinas, Campinas, SP, Brasil. ftp://ftp.cle.unicamp.br/pub/e-prints/vol.5,n.3,2005.pdf

  34. Carnielli, W.: Polynomizing: logic inference in polynomial format and the legacy of Boole. In: Studies in Computational Intelligence, vol. 64, pp. 349–364. Springer, Berlin (2007)

  35. Roanes-Lozano E.: Introducing propositional multi-valued logics with the help of a CAS. In: Gilbert, R.P., Kajiwara, J., Xu, Y.S. (eds) Recent Developments in Complex Analysis and Computer Algebra, pp. 277–290. Kluwer, Boston (1999)

    Google Scholar 

  36. Vienna Group for Multi-Valued Logics. MUltlog 1.0: towards an expert system for many-valued logics. In: McRobbie, M., Slaney, J. (eds.) CADE-13, 226–230. LNAI 1104. Springer, Berlin (1996). http://www.logic.at/multlog/mlsys.pdf

  37. Corless R.M.: Essential Maple 7: An Introduction for Scientific Programmers. Springer, New York (2002)

    MATH  Google Scholar 

  38. Heck A.: Introduction to Maple. Springer, New York (1996)

    MATH  Google Scholar 

  39. Roanes-Macías, E., Roanes-Lozano, E.: Cálculos matemáticos por ordenador con Maple V. Ed. Rubiños-1860, Madrid (1999)

Download references

Author information

Authors and Affiliations

  1. Algebra Department, Universidad Complutense de Madrid, Madrid, Spain

    Eugenio Roanes-Lozano & Eugenio Roanes-Macías

  2. Computer Science and A.I. Department, Universidad de Sevilla, Seville, Spain

    José Antonio Alonso

  3. Applied Intelligent Systems Department, Universidad Politécnica de Madrid, Madrid, Spain

    Antonio Hernando

  4. Artificial Intelligence Department, Universidad Politécnica de Madrid, Madrid, Spain

    Luis M. Laita

Authors
  1. Eugenio Roanes-Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Antonio Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio Hernando
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Luis M. Laita
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Eugenio Roanes-Macías
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eugenio Roanes-Lozano.

Additional information

This work was partially supported by the research projects TIN2009-07901 and TIN2009-09492 (Government of Spain) and UCM2008-910563 (UCM-BSCH Gr. 58/08, Research Group ACEIA, Spain). A preliminary version of this work was presented at Tomás Recio 60 conference (Castro Urdiales, Cantabria, Spain, May 17–21 2010). This article is dedicated to Tomás Recio on the occasion of his 60th birthday.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Roanes-Lozano, E., Alonso, J.A., Hernando, A. et al. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics. RACSAM 105, 323–337 (2011). https://doi.org/10.1007/s13398-011-0041-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13398-011-0041-7

Keywords

Mathematics Subject Classification (2000)

Search

Navigation