Number of the records: 1
Liber Amicorum Alberti. A Tribute to Albert Visser
- 1.0471990 - ÚI 2017 RIV GB eng M - Monography Chapter
Bílková, Marta
Uniform Interpolation in Provability Logics.
Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications, 2016 - (Eijck van, J.; Iemhoff, R.; Joosten, J.), s. 57-90. Tributes, 30. ISBN 978-1-84890-204-6
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : uniform interpolation * provability logics * analytical calculi * terminating calculi
Subject RIV: BA - General Mathematics
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. The calculus for Godel-Lob’s logic GL is a multiset based variant of the standard sequent calculus, in the case of Grzegorczyk’s logic Grz, the calculus implements an explicit loop-preventing mechanism inspired by work of Heuerding.
Permanent Link: http://hdl.handle.net/11104/0269350
Number of the records: 1