In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 409-437 (2019)

Authors
Giuseppe Primiero
Università degli Studi di Milano
Patrick Allo
Vrije Universiteit Brussel
Abstract
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/978-3-030-25365-3_19
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,488
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Adaptive Logics and the Integration of Induction and Deduction.Joke Meheus - 2004 - Vienna Circle Institute Yearbook 11:93-120.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Hierarchic Adaptive Logics.Frederik Van De Putte - 2012 - Logic Journal of the IGPL 20 (1):45-72.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
Capturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.

Analytics

Added to PP index
2020-06-17

Total views
5 ( #1,093,891 of 2,326,738 )

Recent downloads (6 months)
5 ( #162,231 of 2,326,738 )

How can I increase my downloads?

Downloads

My notes