Logo Logo
Switch Language to German

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

[thumbnail of truth_partiallogic_preprint.pdf]
- Submitted Version
Download (398kB)


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.

Actions (login required)

View Item View Item