, , AND REINHARDT’S PROGRAM
From MaRDI portal
Publication:5880422
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
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)