The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics-Reference-Cited by-同舟云学术

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

Published:2011-05-31 Issue:2 Volume:105 Page:323-337
ISSN:1578-7303
Container-title:Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
language:en
Short-container-title:RACSAM

Author:

Roanes-Lozano Eugenio,Alonso José Antonio,Hernando Antonio,Laita Luis M.,Roanes-Macías Eugenio

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Mathematics,Geometry and Topology,Algebra and Number Theory,Analysis

Link

http://link.springer.com/content/pdf/10.1007/s13398-011-0041-7.pdf

Reference39 articles.

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

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

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

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)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Revisiting four-valued logics from Maple using the Logics Explorer package;Mathematics and Computers in Simulation;2014-10