Deductive argumentation by enhanced sequent calculi and dynamic derivations

DOI10.1016/J.ENTCS.2016.06.003MaRDI QIDQ1744402zbMATH OpenOpenAlexWikidataFDO

Authors 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

zbMATH Keywords

dynamic derivationslogical argumentationsequent calculi

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• Logical argumentation by dynamic proof systems
• scientific article; zbMATH DE number 1086653
• A sequent-based representation of logical argumentation
• A natural deduction approach to dynamic logic
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Incremental computation of deterministic extensions for dynamic argumentation frameworks
• Encoding deductive argumentation in quantified Boolean formulae
• An argumentation-theoretic foundation for logic programming
• Equipping sequent-based argumentation with defeasible assumptions

Cites work

• A logic-based theory of deductive arguments
• A mathematical treatment of defeasible reasoning and its implementation.
• A sequent-based representation of logical argumentation
• A universal logic approach to adaptive logics
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• How to reason defeasibly
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• On inference from inconsistent premisses
• On negation: Pure local rules
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the logic of iterated belief revision
• On the theory of inconsistent formal systems
• Sequent-based argumentation for normative reasoning
• Two approaches to the formalisation of defeasible deontic reasoning
• What is negation?

Cited in

(13)

• Classical logic, argument and dialectic
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Mechanised assessment of complex natural-language arguments using expressive logic combinations
• A review of the relations between logical argumentation and reasoning with maximal consistency
• Logical argumentation by dynamic proof systems
• A sequent-based representation of logical argumentation
• Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach
• Argumentation within deductive reasoning
• scientific article; zbMATH DE number 1086653 (Why is no real title available?)
• The need for a dialectical tier in arguments
• A natural deduction approach to dynamic logic
• Structural Properties for Deductive Argument Systems
• A postulate-driven study of logical argumentation

Describes a project that uses

Uses Software

• OSCAR

This page was built for publication: Deductive argumentation by enhanced sequent calculi and dynamic derivations

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