Skip navigation
Skip navigation

Generic Methods for formalising sequent Calculi Applied to provability logic

Dawson, Jeremy; Gore, Rajeev

Description

We describe generic methods for reasoning about multiset-based sequent calculi which allow us to combine shallow and deep embeddings as desired. Our methods are modular, permit explicit structural rules, and are widely applicable to many sequent systems,

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
URI: http://hdl.handle.net/1885/20780
Source: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010)
DOI: 10.1007/978-3-642-16242-8-19

Download

File Description SizeFormat Image
01_Dawson_Generic_Methods_for_2010.pdf458.73 kBAdobe PDF    Request a copy
02_Dawson_Generic_Methods_for_2010.pdf236.25 kBAdobe PDF    Request a copy


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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator