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
Order:
  1. added 2020-02-03
    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  
  2. added 2020-02-03
    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. added 2020-02-03
    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  
     
    Bookmark