scientific article; zbMATH DE number 823600

MaRDI QIDQ4856956zbMATH OpenFDO

Authors Uwe Petersen

Publication date 6 June 1996

zbMATH Keywords

Berry paradoxdialetheiaGentzen-style proof calculuslaw of excluded middlelogic without contractionparaconsistencyproof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• GP's LP
• Choice and logic
• scientific article; zbMATH DE number 962824
• scientific article; zbMATH DE number 1439714
• scientific article; zbMATH DE number 1817576
• S (for syllogism) revisited. ``The revolution devours its children
• scientific article; zbMATH DE number 497626
• scientific article; zbMATH DE number 1195922
• Second-order logic of paradox
• Logic of paradox revisited

Cited in

(1)

• The false assumption underlying berry's paradox

This page was built for publication:

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