scientific article
From MaRDI portal
Publication:3464621
zbMath1358.03010MaRDI QIDQ3464621
Publication date: 27 January 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
On the weak Kleene scheme in Kripke's theory of truth ⋮ THE POWER OF NAIVE TRUTH ⋮ About Truth and Types ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) ⋮ Feferman and the Truth ⋮ Axiomatizing Kripke's theory of truth ⋮ Truth and the philosophy of mathematics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ FINITIST AXIOMATIC TRUTH
This page was built for publication: