Classical logic is not uniquely characterizable

DOI10.1007/s10992-021-09633-5OpenAlexW4206658065MaRDI QIDQ2679579

Isabella McAllister

Publication date: 23 January 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09633-5

zbMATH Keywords

non-uniquenessnon-classical set theorymeta-inferencesstrict-tolerant logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transfinite meta-inferences
• Classical logic and the strict tolerant hierarchy
• Indefinite extensibility -- dialetheic style
• A hierarchy of classical and paraconsistent logics
• Paraconsistent set theory by predicating on consistency
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• ST, LP and Tolerant Metainferences
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE