A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565): Difference between revisions

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