Počet záznamů: 1
Liber Amicorum Alberti. A Tribute to Albert Visser
- 1.0471990 - ÚI 2017 RIV GB eng M - Část monografie knihy
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
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: uniform interpolation * provability logics * analytical calculi * terminating calculi
Kód oboru RIV: BA - Obecná matematika
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.
Trvalý link: http://hdl.handle.net/11104/0269350
Počet záznamů: 1