2015/07/14 by Nino Guallart, Guallart, Nino, Ángel Nepomuceno–Fernández +2
Computer Science · #Computers and Society (cs.CY) #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.CY #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.03667
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber
arxiv created 2015/07/14 · openalex publication_date 2015/07/14 · arxiv updated 2015/07/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal logic.