A generalized proof-theoretic approach to logical argumentation based on hypersequents
From MaRDI portal
Publication:2021565
DOI10.1007/s11225-020-09906-1OpenAlexW3014789850MaRDI QIDQ2021565
Christian Straßer, Ofer Arieli, Annemarie Borg
Publication date: 27 April 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-020-09906-1
Related Items
A paraconsistent approach to deal with epistemic inconsistencies in argumentation, A postulate-driven study of logical argumentation, Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks, A review of the relations between logical argumentation and reasoning with maximal consistency
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- What is relevance logic?
- Postulates for logic-based argumentation systems
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Proof analysis in modal logic
- Deep sequent systems for modal logic
- A universal logic approach to adaptive logics
- Dynamic epistemic logic
- Skepticism relations for comparing argumentation semantics
- A mathematical treatment of defeasible reasoning and its implementation.
- On the evaluation of argumentation formalisms
- Argumentation in artificial intelligence
- How to reason defeasibly
- Tools and techniques in modal logic
- Metamathematics of fuzzy logic
- Hypersequents, logical consequence and intermediate logics for concurrency
- An abstract, argumentation-theoretic approach to default reasoning
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- Handbook of philosophical logic. Vol. 6
- Display logic
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Two approaches to the formalisation of defeasible deontic reasoning
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- A logical account of formal argumentation
- A review of the relations between logical argumentation and reasoning with maximal consistency
- Fuzzy argumentation system for decision support
- Logical argumentation by dynamic proof systems
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Proof theory for fuzzy logics
- On inference from inconsistent premisses
- A Sequent-Based Representation of Logical Argumentation
- Hypersequent Calculi for S5: The Methods of Cut Elimination
- Semi-stable semantics
- Implementing crash-resistance and non-interference in logic-based argumentation
- $$\mathbf {RM}$$ RM and its Nice Properties
- Fuzzy Argumentation for Trust
- A constructive analysis of RM
- Logical limits of abstract argumentation frameworks
- Reasoning with maximal consistency by argumentative approaches
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Bridges between Classical and Nonmonotonic Logic
- Defeasible logic programming: an argumentative approach
- Identifying the Class of Maxi-Consistent Operators in Argumentation
- Normative reasoning by sequent-based argumentation
- Embedding the hypersequent calculus in the display calculus
- From Frame Properties to Hypersequent Rules in Modal Logics
- Proof Theory
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency
- A logic-based theory of deductive arguments
