The Logics' ExplorerA Maple package for exploring finite many-valued propositional logics

  1. Eugenio Roanes Lozano
  2. J.A. Alonso
  3. A. Hernando
  4. Luis María Laita de la Rica
  5. Eugenio Roanes Macías
Revista:
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM )

ISSN: 1578-7303

Año de publicación: 2011

Volumen: 105

Número: 2

Páginas: 323-337

Tipo: Artículo

DOI: 10.1007/S13398-011-0041-7 DIALNET GOOGLE SCHOLAR

Otras publicaciones en: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM )

Resumen

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. © 2011 Springer-Verlag.

Referencias bibliográficas

  • (2006) Handbook of Automated Reasoning, , A. Robinson and A. Voronkov (Eds.), Amsterdam: Elsevier
  • Hähnle, R., Escalada-Imaz, G., Deduction in many-valued logics: a survey (1997) Mathware Soft Comput., 4, pp. 69-97
  • Hsiang, J., Refutational theorem proving using term-rewriting systems (1985) Artif. Intell., 25, pp. 255-300
  • Kapur, D., Narendran, P., An equational approach to theorem proving in first-order predicate calculus. 84CRD296, General Electric Corporate Research and Development Report, Schenectady (1985) Proceedings of IJCAI-85, pp. 1146-1153. , NY, March 1984, rev Dec 1984. Also In: Joshi, A. K. (ed, Morgan Kaufmann, San Francisco
  • Halmos, P.R., (1974) Lectures on Boolean Algebras, , New York: Springer
  • Hermes, H., (1963) La teoría De retículos Y Su aplicación a La lógica matemática, , Madrid: Conf. Mat. VI. CSIC-Madrid
  • Mendelson, E., (1970) Theory and Problems of Boolean Algebras and Switching Circuits, , New York: Schaum's/ MacGraw-Hill
  • Monk, D., (1989) Handbook of Boolean Algebras, , Amsterdam: North-Holland
  • Stone, M., The theory of representations for Boolean algebras (1940) Trans. AMS, 40, pp. 37-111
  • Roanes-Lozano, E., Laita, L.M., Hernando, A., Roanes-Macías, E., An algebraic approach to rule based expert systems (2010) Racsam, 1-104, pp. 19-40
  • 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 (2006) J. Symb. Comput., 41 (3-4), pp. 475-511
  • Cox, D., Little, J., O'Shea, D., (1992) Ideals, Varieties, and Algorithms, , New York: Springer
  • Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M., The geometry of algebraic systems and their exact solving using Groebner bases (2004) Comput. Sci. Eng., 6 (2), pp. 76-79
  • Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M., Some applications of Gröbner bases (2004) Comput. Sci. Eng., 6 (3), pp. 56-60
  • Malinowski, G., Many-valud logic and its philosophy (2007) Handbook of the History of Logic, Vol. 8, pp. 13-94. , D. M. Gabbay and J. Woods (Eds.), Amsterdam: Elsevier
  • Rescher, N., (1969) Many-Valued Logic, , New York: McGraw-Hill
  • Rosser, J.B., Turquette, A.R., (1952) Many-Valued Logics, , Amsterdam: North-Holland
  • Turner, R., (1984) Logics for Artificial Intelligence, , Chichester: Ellis Horwood
  • Fitting, M., Kleene's three valued logics and their children (1994) Fundam. Inform., 20, pp. 113-131
  • Smith, N.J.J., Many-valued logics Routledge Companion to The Philosophy of Language, , http://www-personal.usyd.edu.au/~njjsmith/papers, In: Fara, D. G., Russell, G. (eds, 2011, in press
  • Alonso, J.A., Briales, E., Lógicas Polivalentes y Bases de Gröbner (1989) Proceedings of the V Congress on Natural Languages and Formal Languages, pp. 307-315. , M. Vide (Ed.), Barcelona: Barcelona University Press
  • Chazarain, J., Riscos, A., Alonso, J.A., Briales, E., Many-valued Logic and Gröbner Bases with Applications to Modal Logic (1991) J. Symb. Comput., 11, pp. 181-194
  • 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 (1998) Math. Comput. Simul., 45 (1), pp. 83-99
  • Roanes-Lozano, E., Laita, L.M., Roanes-Macías, E., Maple V in A.I.: the Boolean algebra associated to a KBS (1995) CAN Nieuwsbrief, 14, pp. 65-70
  • 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 (2009) Ann. Math. Artif. Intell., 56 (3-4), pp. 297-311. , doi:10.1007/s10472-009-9147-4
  • Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M., Geometric Interpretation of strong inconsistency in knowledge based systems (1999) Computer Algebra in Scientific Computing. Proceedings of CASC'99, pp. 349-363. , V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov (Eds.), Berlin: Springer
  • Hernando, A., Roanes-Lozano, E., Laita, L.M., A polynomial model for logics with a prime power number of truth values (2011) J. Autom. Reason., 46, pp. 205-221. , doi:10.1007/s10817-010-9191-0
  • Anderson, A.R., Belnap Jr., N.D., Dunn, J.M., Entailment. The Logic of Relevance and Necessity (vol. II, chap. XII, §81 (1992) A Useful Four-valued Logic: How a Computer Should Think, pp. 506-541. , Princeton University Press, Princeton
  • Belnap, N.D., A useful four-valued logic (1977) Modern Uses of Multiple-Valued Logic, pp. 8-37. , J. M. Dunn and G. Epstein (Eds.), Dordrecht: D. Reidel
  • Weber, S., (1998) Investigations In Belnap's Logic of Inconsistent and Unknown Information, , http://deposit.ddb.de/cgi-bin/dokserv?idn=959118233&dok_var=d1&d ok_ext=pdf&filename=959118233.pdf, Ph. D. Thesis, Universität Leizpig, Leizpig
  • Rodrigues, O., Russo, A., A Translation Method For Belnap Logic, , http://www.doc.ic.ac.uk/research/technicalreports/1998/#7, Imperial College Research Report DoC98/7
  • Coehn, D.H., A new Axiomatization of Belnap's Conditional Assertion (1986) Notre Dame J. Form. Logic, 1-27, pp. 124-132
  • Carnielli, W., Polynomial Ring Calculus For Logical Inference, 5 (3), p. 2005. , http://ftp.cle.unicamp.br/pub/e-prints/, State University of Campinas, Campinas, SP, Brasil, pdf
  • Carnielli, W., Polynomizing: Logic inference in polynomial format and the legacy of Boole (2007) Studies In Computational Intelligence, 64, pp. 349-364. , Springer, Berlin
  • Roanes-Lozano, E., Introducing propositional multi-valued logics with the help of a CAS (1999) Recent Developments in Complex Analysis and Computer Algebra, pp. 277-290. , R. P. Gilbert, J. Kajiwara, and Y. S. Xu (Eds.), Boston: Kluwer
  • (1996) Towards An Expert System For Many-valued Logics, pp. 226-230. , http://www.logic.at/multlog/mlsys.pdf, Vienna Group for Multi-Valued Logics. MUltlog 1. 0, McRobbie, M., Slaney, J. (eds.) CADE-13, LNAI 1104. Springer, Berlin
  • Corless, R.M., (2002) Essential Maple 7: An Introduction for Scientific Programmers, , New York: Springer
  • Heck, A., (1996) Introduction to Maple, , New York: Springer
  • Roanes-Macías, E., Roanes-Lozano, E., (1999) Cálculos matemáticos por ordenador con, , Maple V. Ed. Rubiños-1860, Madrid
Fuente de los datos: Dialnet