Skip navigation
Skip navigation

Generic Methods for formalising sequent Calculi Applied to provability logic

Dawson, Jeremy; Gore, Rajeev


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
Source: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010)
DOI: 10.1007/978-3-642-16242-8-19


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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator