, , AND REINHARDT’S PROGRAM

DOI10.1017/S1755020322000089MaRDI QIDQ5880422zbMATH OpenFDO

Authors Luca Castaldo, Johannes Stern

Publication date 2 March 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

classical and non-classical logicKF and PKFReinhardt's program

Mathematics Subject Classification ID

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

Recommendations

• Kac's program in kinetic theory
• scientific article; zbMATH DE number 1181233
• scientific article; zbMATH DE number 3047860
• The KdV and RLW sets
• Kolchin schemes
• On Kreĭn's formula
• The Faddeev-LeVerrier algorithm and the Pfaffian
• The KLR-theorem revisited
• scientific article; zbMATH DE number 4087620
• Kellerer's theorem revisited

Cites work

• An introduction to non-classical logic. From if to is
• Autonomous progression and transfinite iteration of self-applicable truth
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Handbook of philosophical logic. Vol. 5
• scientific article; zbMATH DE number 3987249 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 3532923 (Why is no real title available?)
• Logical frameworks for truth and abstraction. An axiomatic study
• Notes on Formal Theories of Truth
• On n-quantifier induction
• On the costs of nonclassical logic
• Outline of a Theory of Truth
• Proof theory. 2nd ed
• Proof theory. The first step into impredicativity
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Reflecting on incompleteness
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Systems of predicative analysis, II: Representations of ordinals
• Toward useful type-free theories. I
• Truth in a logic of formal inconsistency: how classical can it get?
• Truth, partial logic and infinitary proof systems

Cited in

(2)

• KF, PKF, and Reinhardt's Program
• Is the HYPE about strength warranted?

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5880422)