|
|||||
|
|
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents |
|
| Authors: | Borg AnneMarie Straßer Christian Arieli Ofer |
| Affiliation: | 1.Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands ;2.Institute of Philosophy II, Ruhr University Bochum, Bochum, Germany ;3.School of Computer Science, The Academic College of Tel-Aviv, Tel-Aviv, Israel ; |
| Abstract: | Studia Logica - In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |