Imperial College London
Portrait Picture

ProfessorFrancescaToni

Faculty of Engineering, Department of Computing

Professor in Computational Logic
 
 
 
//

Contact

 

+44 (0)20 7594 8228f.toni Website

 
 
//

Location

 

430Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Kakas:2017:10.1007/s11225-017-9736-x,
author = {Kakas, A and Mancarella, P and Toni, F},
doi = {10.1007/s11225-017-9736-x},
journal = {Studia Logica},
pages = {237--279},
title = {On argumentation logic and propositional logic},
url = {http://dx.doi.org/10.1007/s11225-017-9736-x},
volume = {106},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory. This equivalence follows from a correspondence between the non-acceptability of (arguments for) sentences in AL and Natural Deduction (ND) proofs of the complement of these sentences. The proof of this equivalence uses a restricted form of ND proofs, where hypotheses in the application of the Reductio of Absurdum inference rule are required to be “relevant” to the absurdity derived in the rule. The paper also discusses how the argumentative re-interpretation of PL could help control the application of ex-falso quodlibet in the presence of inconsistencies.
AU  - Kakas,A
AU  - Mancarella,P
AU  - Toni,F
DO  - 10.1007/s11225-017-9736-x
EP  - 279
PY  - 2017///
SN  - 1572-8730
SP  - 237
TI  - On argumentation logic and propositional logic
T2  - Studia Logica
UR  - http://dx.doi.org/10.1007/s11225-017-9736-x
UR  - http://hdl.handle.net/10044/1/48970
VL  - 106
ER  -
Download