e-space
Manchester Metropolitan University's Research Repository

A note on globally admissible inference rules for modal and superintuitionistic logics

Rimatski, V. V. and Rybakov, Vladimir V. (2005) A note on globally admissible inference rules for modal and superintuitionistic logics. ISSN 0138-0680

Full text not available from this repository.

Abstract

In this short note we consider globally admissible inference rules. A rule r is globally admissible in a logic L if r is admissible in all logics with the finite model property which extend L. Here we prove a reduction theorem: we show that, for any modal logic L extending K4, a rule r is globally admissible in L iff r is admissible in all tabular logics extending L. The similar result holds for superintuitionistic logics.

Item Type: Article
Additional Information: Full-text of this article is not available in this e-prints service. This article was originally published following peer-review in Bulletin of the Section of Logic, published by and copyright Uniwersytet Lodzki, Wydzial Logiki.
Divisions: Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology
Date Deposited: 09 Apr 2010 13:41
Last Modified: 01 Sep 2016 14:00
URI: http://e-space.mmu.ac.uk/id/eprint/96170

Actions (login required)

Edit Item Edit Item