条件抽象辩证框架

摘要

抽象辩证框架（简而言之，ADF）是形式论证的统一模型，其中论证之间的论证关系通过为原子论证指定接受条件来表示。通过将接受条件指定给复杂的公式，从而形成条件抽象辩证框架（简而言之，cADF），这一思想得到了推广。我们用非真值泛函四值逻辑定义了cADFs的语义，并通过展示存在性结果和证明所有语义都是ADFs相应语义的推广，深入研究了cADFs的语义。