{"id":"arxiv/2609.15008","url":"https://arxiv.org/abs/2609.15008","tags":["math.LO"],"score":0,"title":"Higher-Order Quadripolar Argumentation Framework and Encoded Semantics","domain":"math.LO","source":"arxiv","authors":["Shuai Tang"],"reviews":0,"subject":"math.LO","summary":"This paper introduces the Higher-Order Quadripolar Argumentation Framework (HQAF), which extends bipolar frameworks by allowing attacks and three types of supports---necessary, deductive, and evidential---to interact at higher order. In HQAF, each interaction may have as its source and target an argument, an attack, or a support. We provide a 3-valued semantics via adjacent complete labellings and equational systems, and define encoded semantics directly in propositional logics, mainly Łukasiewicz three-valued logic for the 3-valued case and fuzzy logics based on continuous t-norms (Gödel,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}