Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations | Zendy

Ofer Arieli | Zendy; Christian Straßer | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations

Author(s) -

Ofer Arieli,

Christian Straßer

Publication year - 2016

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2016.06.003

Subject(s) - sequent , argumentation theory , sequent calculus , deductive reasoning , variety (cybernetics) , mathematics , proof theory , computer science , logical consequence , calculus (dental) , cut elimination theorem , epistemology , discrete mathematics , mathematical proof , artificial intelligence , philosophy , medicine , geometry , dentistry

Logic-based approaches for analyzing and evaluating arguments have been largely studied in recent years, yielding a variety of formal methods for argumentation-based reasoning. The goal of this paper is to provide an abstract, proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research