A generalized proof-theoretic approach to logical argumentation based on hypersequents
type: Item
instance of: scholarly article
title: A generalized proof-theoretic approach to logical argumentation based on hypersequents
author: Christian Straßer
author: Ofer Arieli
author: Annemarie Borg
published in: Studia Logica
publication date: 2021-04-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7339954
zbMATH Keywords: logical argumentation
zbMATH Keywords: hypersequents
zbMATH Keywords: proof systems
zbMATH Keywords: defeasible reasoning
describes a project that uses: OSCAR
MaRDI profile type: Publication
full work available at URL: s11225-020-09906-1
OpenAlex ID: W3014789850
cites work: Postulates for logic-based argumentation systems
cites work: Logical limits of abstract argumentation frameworks
cites work: Q4085699
cites work: A Sequent-Based Representation of Logical Argumentation
cites work: A review of the relations between logical argumentation and reasoning with maximal consistency
cites work: Reasoning with maximal consistency by argumentative approaches
cites work: Deductive argumentation by enhanced sequent calculi and dynamic derivations
cites work: Logical argumentation by dynamic proof systems
cites work: Q5144622
cites work: A constructive analysis of RM
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: Q3837723
cites work: What is relevance logic?
cites work: $$\mathbf {RM}$$ RM and its Nice Properties
cites work: Q4686539
cites work: Q5224558
cites work: Q5406038
cites work: Skepticism relations for comparing argumentation semantics
cites work: A universal logic approach to adaptive logics
cites work: Hypersequent Calculi for S5: The Methods of Cut Elimination
cites work: Display logic
cites work: Argumentation in artificial intelligence
cites work: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
cites work: A logic-based theory of deductive arguments
cites work: Proof Theory
cites work: An abstract, argumentation-theoretic approach to default reasoning
cites work: Hypersequent-based argumentation: an instantiation in the relevance logic RM
cites work: Q3198878
cites work: Deep sequent systems for modal logic
cites work: On the evaluation of argumentation formalisms
cites work: Semi-stable semantics
cites work: A logical account of formal argumentation
cites work: Q3128959
cites work: Q4578043
cites work: Dynamic epistemic logic
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: Algebraic Completeness Results for Dummett's LC and Its Extensions
cites work: Handbook of philosophical logic. Vol. 6
cites work: Q5175694
cites work: Defeasible logic programming: an argumentative approach
cites work: Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency
cites work: Metamathematics of fuzzy logic
cites work: Q5215669
cites work: Tools and techniques in modal logic
cites work: From Frame Properties to Hypersequent Rules in Modal Logics
cites work: Q3268305
cites work: Bridges between Classical and Nonmonotonic Logic
cites work: Proof theory for fuzzy logics
cites work: Proof analysis in modal logic
cites work: How to reason defeasibly
cites work: Two approaches to the formalisation of defeasible deontic reasoning
cites work: Q5096581
cites work: Embedding the hypersequent calculus in the display calculus
cites work: On inference from inconsistent premisses
cites work: A mathematical treatment of defeasible reasoning and its implementation.
cites work: Fuzzy Argumentation for Trust
cites work: Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
cites work: Normative reasoning by sequent-based argumentation
cites work: Fuzzy argumentation system for decision support
cites work: Q4789456
cites work: Identifying the Class of Maxi-Consistent Operators in Argumentation
cites work: On the completenes principle: A study of provability in heyting's arithmetic and extensions

A generalized proof-theoretic approach to logical argumentation based on hypersequents (cites work)
cites work: Implementing crash-resistance and non-interference in logic-based argumentation

A generalized proof-theoretic approach to logical argumentation based on hypersequents (DOI)
DOI: 10.1007/S11225-020-09906-1