ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS

DOI10.1017/S1755020322000284OpenAlexW4285796864MaRDI QIDQ6188337

Uwe Petersen

Publication date: 11 January 2024

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

Full work available at URL: https://doi.org/10.1017/s1755020322000284

zbMATH Keywords

paradoxcontractioncut elimination

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Curry's paradox and \(\omega \)-inconsistency
• Proof theory. 2nd ed
• Logic without contraction as based on inclusion and unrestricted abstraction
• Contraction, infinitary quantifiers, and omega paradoxes
• TRUTH WITHOUT CONTRA(DI)CTION
• A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
• Logical paradoxes for many-valued systems

This page was built for publication: ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS