Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS-Reference-Cited by-同舟云学术

Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS

Published:2015-06-01 Issue:2 Volume:22 Page:85-91
ISSN:1744-2710
Container-title:International Journal for Technology in Mathematics Education
language:en
Short-container-title:International Journal for Technology in Mathematics Education

Author:

Aguilera-Venegas Gabriel¹,Galán-García José Luis¹,Galán-García María ángeles¹,Rodríguez-Cielos Pedro¹

Affiliation:

1. University of Málaga, Spain

Abstract

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described.

Publisher

Research Information Ltd.

Reference22 articles.

1. A basic course of multiple integrals with a computer algebra system;Aguilera,2006

2. Reductions for non-clausal theorem proving;Aguilera;Theoretical Computer Science,2001

3. Generating random samples from continues and discrete distributions with Derive;Aguilera;Derive Newsletter,2009

4. A stepwise graphical approach for teaching automated theorem proving in engineering;Aguilera,2012

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

1. SODES: Solving ordinary differential equations step by step;Journal of Computational and Applied Mathematics;2023-08

2. SMIS: A Stepwise Multiple Integration Solver Using a CAS;Mathematics;2021-11-11

3. Research for Curricular Innovation in Action in the Mathematics Classroom;International Journal for Technology in Mathematics Education;2020-09-01

4. Analysing the “Calculator Effect” of Different Kinds of Software for School Arithmetic and Algebra;Mathematics in Computer Science;2019-12-17

5. SFOPDES: A Stepwise First Order Partial Differential Equations Solver with a Computer Algebra System;Computers & Mathematics with Applications;2019-11