, , AND REINHARDT’S PROGRAM

DOI10.1017/S1755020322000089MaRDI QIDQ5880422FDOQ5880422

Authors: Luca Castaldo, Johannes Stern 

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

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

zbMATH Keywords

KF and PKFclassical and non-classical logicReinhardt'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)

Cites Work

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

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)