Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer

First Page		Document Content
Date: 2014-08-27 11:30:50		Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer Add to Reading List Source URL: comma2014.arg.dundee.ac.uk Download Document from Source Website File Size: 200,00 KB Share Document on Facebook