Deductive argumentation by enhanced sequent calculi and dynamic derivations
type: Item
instance of: scholarly article
title: Deductive argumentation by enhanced sequent calculi and dynamic derivations
zbMATH Open document ID: 1394.68364
author: Ofer Arieli
author: Christian Straßer
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6862940
zbMATH Keywords: logical argumentation
zbMATH Keywords: sequent calculi
zbMATH Keywords: dynamic derivations
describes a project that uses: OSCAR
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.06.003
OpenAlex ID: W2469001723
Wikidata QID: Q113317686
cites work: A Sequent-Based Representation of Logical Argumentation
cites work: Maximal and premaximal paraconsistency in the framework of three-valued semantics
cites work: A universal logic approach to adaptive logics
cites work: A logic-based theory of deductive arguments
cites work: On the theory of inconsistent formal systems
cites work: On the logic of iterated belief revision
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: What is negation?
cites work: Instantiating abstract argumentation with classical logic arguments: postulates and properties
cites work: Q3268305
cites work: On negation: Pure local rules
cites work: How to reason defeasibly
cites work: Two approaches to the formalisation of defeasible deontic reasoning
cites work: On inference from inconsistent premisses
cites work: A mathematical treatment of defeasible reasoning and its implementation.
cites work: Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
cites work: Sequent-Based Argumentation for Normative Reasoning
cites work: Q4789456
DOI: 10.1016/J.ENTCS.2016.06.003
Recommended article: Logical argumentation by dynamic proof systems
Recommended article: Q4362904
Recommended article: A Sequent-Based Representation of Logical Argumentation
Recommended article: A natural deduction approach to dynamic logic
Recommended article: A generalized proof-theoretic approach to logical argumentation based on hypersequents
Recommended article: Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
Recommended article: Encoding deductive argumentation in quantified Boolean formulae
Recommended article: An argumentation-theoretic foundation for logic programming
Recommended article: Q5215682
description: scientific article; zbMATH DE number 6862940