Uniform Interpolation in Provability Logics

Kód výsledku v IS VaVaI

RIV/67985807:_____/16:00471990 - isvavai.cz

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Uniform Interpolation in Provability Logics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Uniform Interpolation in Provability Logics

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

GAP202/11/1632: Algebraické metody v teorii důkazů

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Liber Amicorum Alberti. A Tribute to Albert Visser

ISBN

978-1-84890-204-6

Počet stran výsledku

34

Strana od-do

57-90

Počet stran knihy

236

Název nakladatele

College Publications

Místo vydání

London

Kód UT WoS kapitoly

—