Annotated natural deduction for adaptive reasoning

Patrick Allo, Giuseppe Primiero

Onderzoeksoutput: Chapterpeer review


We present a multi-conclusion natural deduction calculus characterizing the dynamic reasoning typical of Adaptive Logics. The resulting system AdaptiveND is sound and complete with respect to the propositional fragment of adaptive logics based on CLuN. This appears to be the first tree-format presentation of the standard linear dynamic proof system typical of Adaptive Logics. It offers the advantage of full transparency in the formulation of locally derivable rules, a connection between restricted inference-rules and their adaptive counterpart, and the formulation of abnormalities as a subtype of well-formed formulas. These features of the proposed calculus allow us to clarify the relation between defeasible and multiple-conclusion approaches to classical recapture.

Originele taal-2English
TitelGraham Priest on Dialetheism and Paraconsistency.
Aantal pagina's29
ISBN van elektronische versie978-3-030-25365-3
ISBN van geprinte versie978-3-030-25364-6
StatusPublished - 1 jan 2019

Publicatie series

NaamOutstanding Contributions to Logic
ISSN van geprinte versie2211-2758
ISSN van elektronische versie2211-2766


Duik in de onderzoeksthema's van 'Annotated natural deduction for adaptive reasoning'. Samen vormen ze een unieke vingerafdruk.

Citeer dit