A generalized proof-theoretic approach to logical argumentation based on hypersequents

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
How to reason defeasibly
Argumentation in artificial intelligence
An abstract, argumentation-theoretic approach to default reasoning
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $n$-person games
On inference from inconsistent premisses
Defeasible logic programming: an argumentative approach
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
Metamathematics of fuzzy logic
Display logic
A universal logic approach to adaptive logics
Proof theory for fuzzy logics
Tools and techniques in modal logic
Dynamic epistemic logic
A logic-based theory of deductive arguments
Proof analysis in modal logic
A mathematical treatment of defeasible reasoning and its implementation.
On the evaluation of argumentation formalisms
A logical account of formal argumentation
Semi-stable semantics
Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
From Frame Properties to Hypersequent Rules in Modal Logics
Deep sequent systems for modal logic
Bridges between Classical and Nonmonotonic Logic
Handbook of philosophical logic. Vol. 6
What is relevance logic?
Hypersequents, logical consequence and intermediate logics for concurrency
Skepticism relations for comparing argumentation semantics
Fuzzy Argumentation for Trust
Postulates for logic-based argumentation systems
A constructive analysis of RM
Fuzzy argumentation system for decision support
Algebraic Completeness Results for Dummett's LC and Its Extensions
On the completenes principle: A study of provability in heyting's arithmetic and extensions
Logical limits of abstract argumentation frameworks
Two approaches to the formalisation of defeasible deontic reasoning
Embedding the hypersequent calculus in the display calculus
Identifying the Class of Maxi-Consistent Operators in Argumentation
Deductive argumentation by enhanced sequent calculi and dynamic derivations
Implementing crash-resistance and non-interference in logic-based argumentation
Proof Theory
Logical argumentation by dynamic proof systems
A Sequent-Based Representation of Logical Argumentation
Hypersequent-based argumentation: an instantiation in the relevance logic RM
A review of the relations between logical argumentation and reasoning with maximal consistency
Hypersequent Calculi for S5: The Methods of Cut Elimination
$$\mathbf {RM}$$ RM and its Nice Properties
Reasoning with maximal consistency by argumentative approaches
Normative reasoning by sequent-based argumentation
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency

Cited In (5)

A postulate-driven study of logical argumentation
A review of the relations between logical argumentation and reasoning with maximal consistency
A paraconsistent approach to deal with epistemic inconsistencies in argumentation
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
Deductive argumentation by enhanced sequent calculi and dynamic derivations

Uses Software

OSCAR

This page was built for publication: A generalized proof-theoretic approach to logical argumentation based on hypersequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2021565)