, , AND REINHARDT’S PROGRAM

DOI10.1017/S1755020322000089MaRDI QIDQ5880422

Johannes Stern, Luca Castaldo

Publication date: 2 March 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.01054

zbMATH Keywords

KF and PKFclassical and non-classical logicReinhardt's program

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Proof theory. 2nd ed
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Truth, partial logic and infinitary proof systems
• Provably true sentences across axiomatizations of Kripke's theory of truth
• On the costs of nonclassical logic
• Handbook of philosophical logic. Vol. 5
• Logical frameworks for truth and abstraction. An axiomatic study
• Autonomous progression and transfinite iteration of self-applicable truth
• Truth in a Logic of Formal Inconsistency: How classical can it get?
• Toward useful type-free theories. I
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• Outline of a Theory of Truth
• Axiomatizing Kripke's theory of truth
• Systems of predicative analysis, II: Representations of ordinals
• On n-quantifier induction

This page was built for publication: , , AND REINHARDT’S PROGRAM