Christian Straßer
Ruhr-Universität Bochum
In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems.
Keywords Logical argumentation   Sequent calculi   Dynamic derivations
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,541
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

Add more citations

Similar books and articles

Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.Ofer Arieli & Christian Straßer - 2016 - Electronic Notes in Theoretical Computer Science 323:21–37.
Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Simple Cut Elimination Proof for Hybrid Logic.Andrezj Indrzejczak - 2016 - Logic and Logical Philosophy 25 (2):129-141.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Sequents for Non-Wellfounded Mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.
Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.


Added to PP index

Total views
14 ( #737,924 of 2,533,476 )

Recent downloads (6 months)
2 ( #261,612 of 2,533,476 )

How can I increase my downloads?


My notes