Is cut-free logic fit for unrestricted abstraction?

DOI10.1016/j.apal.2022.103101OpenAlexW4210793706MaRDI QIDQ2131274

Uwe Petersen

Publication date: 25 April 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103101

zbMATH Keywords

paradoxesinductiondialetheismreflection principle

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40) Higher-order logic (03B16)

Related Items

Dialetheias and numbers distinct from themselves

Cites Work

• Proof theory. 2nd ed
• Logic without contraction as based on inclusion and unrestricted abstraction
• Syntactical and semantical properties of simple type theory
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Truth Definitions and Consistency Proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item