A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents
Studia Logica (forthcoming)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Proceedings of Flairs 2020.
Logical Argumentation by Dynamic Proof Systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
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.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Prioritized Sequent-Based Argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.AnneMarie Borg, Ofer Arieli & Christian Straßer - 2018 - In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Cham, Switzerland: Springer. pp. 17–34.
Proof-Theoretic Semantic Values for Logical Operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - forthcoming - Synthese:1-26.
Analytics
Added to PP index
2020-01-31
Total views
0
Recent downloads (6 months)
0
2020-01-31
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
