A sequent-based representation of logical argumentation

DOI10.1007/978-3-642-40624-9_5MaRDI QIDQ2851959zbMATH OpenOpenAlexFDO

Authors Ofer Arieli

Publication date 4 October 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40624-9_5

Mathematics Subject Classification ID

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

Recommendations

• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Logical argumentation by dynamic proof systems
• Logic-based approaches to formal argumentation
• A Logic of Abstract Argumentation
• Logical argumentation principles, sequents, and nondeterministic matrices

Cited in

(11)

• Logical argumentation principles, sequents, and nondeterministic matrices
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Hypersequent-based argumentation: an instantiation in the relevance logic RM
• Logical argumentation by dynamic proof systems
• Representing and reasoning about arguments mined from texts and dialogues
• scientific article; zbMATH DE number 1537943 (Why is no real title available?)
• Equipping sequent-based argumentation with defeasible assumptions
• Normative reasoning by sequent-based argumentation
• Generic logical encoding for argumentation
• Attack principles in sequent-based argumentation theory

This page was built for publication: A sequent-based representation of logical argumentation

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