Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex

DOI10.1007/S11229-007-9291-5zbMath1172.03018OpenAlexW2055448233MaRDI QIDQ833026

Peter Verdée

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-007-9291-5

zbMATH Keywords

complexityadaptive logics\(\Pi_1^1\)-complete setsdynamic proofsminimal abnormality

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Paraconsistent logics (03B53)

Related Items (13)

Adaptive Fregean set theory ⋮ Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ A methodological shift in favor of (some) paraconsistency in the sciences ⋮ The dynamics of relevance: adaptive belief revision ⋮ On the complexity of input/output logic ⋮ Two adaptive logics of norm-propositions ⋮ Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism ⋮ A conditional logic for abduction ⋮ Computability issues for adaptive logics in multi-consequence standard format ⋮ Yes fellows, most human reasoning is complex ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency

Cites Work

• A universal logic approach to adaptive logics
• Yes fellows, most human reasoning is complex
• The undecidability of propositional adaptive logic
• On the complexity of reasoning in Kleene algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex