A Sequent-Based Representation of Logical Argumentation
From MaRDI portal
Publication:2851959
DOI10.1007/978-3-642-40624-9_5zbMath1401.68297OpenAlexW76679090MaRDI QIDQ2851959
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
Logic in artificial intelligence (68T27) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (3)
Logical argumentation by dynamic proof systems ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents
This page was built for publication: A Sequent-Based Representation of Logical Argumentation
