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

• Autores: Eugenio Roanes Lozano , J.A. Alonso, A. Hernando, Luis María Laita de la Rica , Eugenio Roanes Macías
• Localización: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 105, Nº. 2, 2011, págs. 323-337
• Idioma: inglés
• DOI: 10.1007/s13398-011-0041-7
• Texto completo no disponible (Saber más ...)
• 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...
  • 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,...
  • Buchberger, B., Bruno Buchberger's PhD thesis 1965: an algorithm for finding the basis elementals of the residue class ring of a zero...
  • 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)...
  • 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...
  • 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,...
  • 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,...
  • Chazarain, J., Riscos, A., Alonso, J.A., Briales, E., Many-valued Logic and Gröbner Bases with Applications to Modal Logic (1991) J. Symb....
  • 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...
  • 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....
  • Roanes-Lozano, E., Hernando, A., Laita, L.M., Roanes-Macías, E., A Groebner bases-based approach to backward reasoning in rule based expert...
  • Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M., Geometric Interpretation of strong inconsistency in knowledge based systems (1999) Computer...
  • 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.,...
  • 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...
  • 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:...
  • 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...
  • Rodrigues, O., Russo, A., A Translation Method For Belnap Logic, , http://www.doc.ic.ac.uk/research/technicalreports/1998/#7, Imperial College...
  • 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...
  • Carnielli, W., Polynomizing: Logic inference in polynomial format and the legacy of Boole (2007) Studies In Computational Intelligence, 64,...
  • Roanes-Lozano, E., Introducing propositional multi-valued logics with the help of a CAS (1999) Recent Developments in Complex Analysis and...
  • (1996) Towards An Expert System For Many-valued Logics, pp. 226-230. , http://www.logic.at/multlog/mlsys.pdf, Vienna Group for Multi-Valued...
  • 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