良构CAF的并发性：朴素语义
计算机科学中的逻辑
2021-12-21 v1
摘要
在抽象论证中基于主张推理的领域，若某基于主张的语义在给定的框架中所有变体均产生相同的外延，则称其是并发的。在本札记中，我们证明了对于良构CAF，关于朴素语义的并发性问题是coNP难的。这解决了Dvorák等人（2021）中遗留的一个开放问题。
引用
@article{arxiv.2112.10445,
title = {Concurrence for well-formed CAFs: Naive Semantics},
author = {Rafael Kiesel and Anna Rapberger},
journal= {arXiv preprint arXiv:2112.10445},
year = {2021}
}