A generalized proof-theoretic approach to logical argumentation based on hypersequents
From MaRDI portal
Publication:2021565
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 7572560 (Why is no real title available?)
- scientific article; zbMATH DE number 6407643 (Why is no real title available?)
- scientific article; zbMATH DE number 6276272 (Why is no real title available?)
- A constructive analysis of RM
- A logic-based theory of deductive arguments
- A logical account of formal argumentation
- A mathematical treatment of defeasible reasoning and its implementation.
- A review of the relations between logical argumentation and reasoning with maximal consistency
- A sequent-based representation of logical argumentation
- A simple cut-free system for a paraconsistent logic equivalent to S5
- A universal logic approach to adaptive logics
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- An abstract, argumentation-theoretic approach to default reasoning
- Argumentation in artificial intelligence
- Bridges between Classical and Nonmonotonic Logic
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- Deep sequent systems for modal logic
- Defeasible logic programming: an argumentative approach
- Display logic
- Dynamic epistemic logic
- Embedding the hypersequent calculus in the display calculus
- From Frame Properties to Hypersequent Rules in Modal Logics
- Fuzzy Argumentation for Trust
- Fuzzy argumentation system for decision support
- Gödel logic. From natural deduction to parallel computation
- Handbook of epistemic logic
- Handbook of philosophical logic. Vol. 6
- How to reason defeasibly
- Hypersequent calculi for S5: the methods of cut elimination
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- Hypersequents, logical consequence and intermediate logics for concurrency
- Identifying the class of maxi-consistent operators in argumentation
- Implementing crash-resistance and non-interference in logic-based argumentation
- Logical argumentation by dynamic proof systems
- Logical limits of abstract argumentation frameworks
- Metamathematics of fuzzy logic
- Normative reasoning by sequent-based argumentation
- On inference from inconsistent premisses
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- On the evaluation of argumentation formalisms
- On the semantics of simple contrapositive assumption-based argumentation frameworks
- Postulates for logic-based argumentation systems
- Proof analysis in modal logic
- Proof theory for fuzzy logics
- Proof theory. Sequent calculi and related formalisms
- Reasoning with maximal consistency by argumentative approaches
- Semi-stable semantics
- Skepticism relations for comparing argumentation semantics
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Theory of effective propositional paraconsistent logics
- Tools and techniques in modal logic
- Two approaches to the formalisation of defeasible deontic reasoning
- Two aspects of relevance in structured argumentation: minimality and paraconsistency
- What is relevance logic?
- \(\mathbf{RM}\) and its nice properties
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
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)
