This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

3 found
  1. Logical Argumentation by Dynamic Proof Systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
    In this paper we provide a 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 idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according (...)
    Remove from this list   Direct download  
    Export citation  
    Bookmark   1 citation  
  2. Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
  3. Adaptive Strategies and Finite-Conditional Premise Sets.Christian Straßer & Frederik Van De Putte - 2014 - Journal of Logic and Computation 26 (5):1517–1539.
    Remove from this list   Direct download  
    Export citation