| Fischer, Martin; Gratzl, Norbert (26. September 2017): Truth, Partial Logic and Infinitary Proof Systems. In: Studia Logica |
|
|
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.
| Item Type: | Journal article |
|---|---|
| EU Funded Grant Agreement Number: | 675415 |
| EU Projects: | Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement |
| Form of publication: | Publisher's Version |
| Keywords: | Truth; Partial logic; Infinitary proof systems; Axiomatic theories; Minimal fixed-point |
| Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox |
| Subjects: | 100 Philosophy and Psychology > 100 Philosophy 100 Philosophy and Psychology > 160 Logic |
| URN: | urn:nbn:de:bvb:19-epub-41340-2 |
| ISSN: | 1572-8730 |
| Language: | English |
| ID Code: | 41340 |
| Deposited On: | 06. Dec 2017 05:30 |
| Last Modified: | 04. Nov 2020 13:17 |
Repository Staff Only: item control page
