GP's LP

DOI10.1007/978-3-030-25365-3_23MaRDI QIDQ3305678zbMATH OpenOpenAlexFDO

Authors Neil Tennant

Publication date 10 August 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-25365-3_23

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On Priest's logic of paradox
• Logic of paradox revisited
• Trivial Dialetheism and the Logic of Paradox
• Second-order logic of paradox
• Remarks on naive set theory based on \(\mathbf{LP}\)

Cites work

• A new unified account of truth and paradox
• An introduction to non-classical logic. From if to is
• Cut for classical core logic
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3060222 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On Paradox without Self-Reference
• Proof and Paradox
• The independence of connectives
• The logic of paradox
• The relevance of premises to conclusions of core proofs

Cited in

(4)

• Looting liars masking models
• scientific article; zbMATH DE number 823600 (Why is no real title available?)
• Normalisation for some quite interesting many-valued logics
• Optimization methods: an applications-oriented primer

This page was built for publication: GP's LP

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