Sciweavers

Share
CADE
2008
Springer

Towards Fully Automated Axiom Extraction for Finite-Valued Logics

9 years 2 months ago
Towards Fully Automated Axiom Extraction for Finite-Valued Logics
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output consists of Isabelle theories.1 Key words: Many-valued logics, tableaux, automated theorem proving.
Dalmo Mendonca, João Marcos
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Dalmo Mendonca, João Marcos
Comments (0)
books