Skip navigation
Skip navigation

System description: The Tableau workbench

Abate, Pietro; Gore, Rajeev

Description

The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitrary propositional logics. The TWB has a small core that defines its general architecture, some extra machinery to specify tableau-based provers and an abstraction language for expressing tableau rules. This language allows users to "cut and paste" tableau rules from textbooks and to specify a search strategy for applying those rules in a systematic manner. A new logic module defined by a user is...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
URI: http://hdl.handle.net/1885/54837
Source: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007)
DOI: 10.1016/j.entcs.2009.02.029

Download

File Description SizeFormat Image
01_Abate_System_description:_The_2009.pdf140.18 kBAdobe PDF    Request a copy
02_Abate_System_description:_The_2009.pdf258.06 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator