Logo Logo
Hilfe
Hilfe
Switch Language to English

Fischer, Martin und Gratzl, Norbert (26. September 2017): Truth, Partial Logic and Infinitary Proof Systems. In: Studia Logica [PDF, 398kB]

[thumbnail of truth_partiallogic_preprint.pdf]
Vorschau
Eingereichte Version
Download (398kB)

Abstract

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke-Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω -rule.

Dokument bearbeiten Dokument bearbeiten