Hypersequent-based argumentation: an instantiation in the relevance logic RM
From MaRDI portal
Publication:2028723
DOI10.1007/978-3-319-75553-3_2zbMath1462.68178OpenAlexW2793652835MaRDI QIDQ2028723
Christian Straßer, Ofer Arieli, Annemarie Borg
Publication date: 2 June 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-75553-3_2
Logic in artificial intelligence (68T27) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Agent technology and artificial intelligence (68T42)
Related Items
A postulate-driven study of logical argumentation ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
