A proof procedure for adaptive logics

DOI10.1093/jigpal/jzs046zbMath1323.03030OpenAlexW2022394930MaRDI QIDQ5176657

Peter Verdée

Publication date: 27 February 2015

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

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

zbMATH Keywords

adaptive logicdynamic proofsproof procedureformal problem-solvinggoal-directed proofs

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism ⋮ 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