Annotated Natural Deduction for Adaptive Reasoning

DOI10.1007/978-3-030-25365-3_19zbMath1469.03070OpenAlexW2787151127MaRDI QIDQ3305674

Patrick Allo, Giuseppe Primiero

Publication date: 10 August 2020

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

Full work available at URL: https://eprints.mdx.ac.uk/23426/1/Annotated_Natural_Deduction_for_Adaptive_preprint.pdf

zbMATH Keywords

natural deductionadaptive logicparaconsistent logicclassical recapture

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A universal logic approach to adaptive logics
• Yes fellows, most human reasoning is complex
• Minimally inconsistent LP
• Minimally abnormal models in some adaptive logics
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Why Priest's reassurance is not reassuring

This page was built for publication: Annotated Natural Deduction for Adaptive Reasoning