A proof procedure for adaptive logics

DOI10.1093/JIGPAL/JZS046MaRDI QIDQ5176657zbMATH OpenOpenAlexFDO

Authors Peter Verdée

Publication date 27 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ca743070db5323c302bde32ef1748d5de89d4dd2

zbMATH Keywords

adaptive logicdynamic proofsformal problem-solvinggoal-directed proofsproof procedure

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• A procedural criterion for final derivability in inconsistency-adaptive logics
• scientific article; zbMATH DE number 2019872
• The generation of abductive explanations from inconsistent theories
• scientific article; zbMATH DE number 1303449
• On algorithmic properties of propositional inconsistency-adaptive logics

Cited in

(12)

• A procedural criterion for final derivability in inconsistency-adaptive logics
• ADC method of proof search for intuitionistic propositional natural deduction
• The generation of abductive explanations from inconsistent theories
• Adaptive logics as a necessary tool for relative rationality: including a section on logical pluralism
• Annotated natural deduction for adaptive reasoning
• Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case
• scientific article; zbMATH DE number 2019864 (Why is no real title available?)
• scientific article; zbMATH DE number 2019872 (Why is no real title available?)
• New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
• Tutorial on Inconsistency-Adaptive Logics
• Some Adaptive Contributions to Logics of Formal Inconsistency
• Adaptive logics using the minimal abnormality strategy are ^1_1-complex

This page was built for publication: A proof procedure for adaptive logics

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