Deductive argumentation by enhanced sequent calculi and dynamic derivations
From MaRDI portal
Publication:1744402
DOI10.1016/j.entcs.2016.06.003zbMath1394.68364OpenAlexW2469001723WikidataQ113317686 ScholiaQ113317686MaRDI QIDQ1744402
Ofer Arieli, Christian Straßer
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.003
Logic in artificial intelligence (68T27) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
Logical argumentation by dynamic proof systems ⋮ A postulate-driven study of logical argumentation ⋮ Classical logic, argument and dialectic ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- A universal logic approach to adaptive logics
- A mathematical treatment of defeasible reasoning and its implementation.
- How to reason defeasibly
- On the logic of iterated belief revision
- What is negation?
- On negation: Pure local rules
- 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
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- On inference from inconsistent premisses
- On the theory of inconsistent formal systems
- A Sequent-Based Representation of Logical Argumentation
- Sequent-Based Argumentation for Normative Reasoning
- A logic-based theory of deductive arguments
This page was built for publication: Deductive argumentation by enhanced sequent calculi and dynamic derivations
