衍生规则与可接受规则之间的差异？

Question

有人可以帮我解释一下这个问题吗？

“有两种方法可以引入新的参考规则：作为可导出的规则和可接受的规则。 它们之间有什么区别？

感谢。

Answer 1

Admissibility and derivability wiki说： -

  

可推导规则的结论可以从其中得出   使用其他规则的前提。可接受的规则是其中的规则   只要房舍成立，结论就会成立。所有可导出的规则都是   受理。要了解其中的差异，请考虑以下方面   定义自然数的规则

您可以查看wiki，其中包含： -

  

每个可导出的规则都是可接受的，但一般情况下则不然。一个   如果每个可容许的规则都是可导出的，逻辑在结构上是完整的，   即{\ vdash} = {\，| !!! \ sim}。[5]在逻辑上乖巧   连词结合（如超模仿或模态逻辑），   规则A_ {1}，\ dots，A_ {n} / B相当于A_ {1} \ land \ dots \ land   A_ {n} / B关于可受理性和可导性。它是   因此习惯上只处理一元规则A / B.