Provably true sentences across axiomatizations of Kripke's theory of truth
type: Item
instance of: scholarly article
title: Provably true sentences across axiomatizations of Kripke's theory of truth
zbMATH Open document ID: 1437.03162
author: Carlo Nicolai
published in: Studia Logica
publication date: 2018-04-04T00:00:00Z
full work available at URL: provably-true-sentences-across-axiomatizations-of-kripkes-theory-of-truth(bbc29cb3-504e-4cd0-82d4-db0bbd9dae3a).html
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 6855869
zbMATH Keywords: formal theories of truth
zbMATH Keywords: proof-theory
zbMATH Keywords: semantic paradoxes
MaRDI profile type: Publication
OpenAlex ID: W2614458588
cites work: Q3206928
cites work: Notes on Formal Theories of Truth
cites work: Systems of predicative analysis
cites work: Toward useful type-free theories. I
cites work: Reflecting on incompleteness
cites work: Q3058982
cites work: AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
cites work: Q3005147
cites work: Axiomatizing Kripke's theory of truth
cites work: Kripke and the logic of truth
cites work: Outline of a Theory of Truth
cites work: Iterated reflection over full disquotational truth
cites work: On the costs of nonclassical logic
cites work: Proof theory. The first step into impredicativity
cites work: Some remarks on extending and interpreting theories with a partial predicate for truth
cites work: Iterated reflection principles and the ω-rule
DOI: 10.1007/S11225-017-9727-Y
description: scientific article; zbMATH DE number 6855869