论辩逻辑的两种公理化中的一些问题
逻辑
2014-04-01 v1 计算机科学中的逻辑
摘要
考虑了雅斯科夫斯基的论辩（或推理论）逻辑D2的两种公理化中的问题。最近的一种D2公理化及其相对于D2预期语义的完备性证明似乎有误，因为根据预期语义有效的一些公式被证明是不可证明的。尽管没有提出新的公理化，也没有给出修正的完备性证明，但这里指出的缺陷可能是迈向改进公理化的一步。
引用
@article{arxiv.1403.7777,
title = {Some problems with two axiomatizations of discussive logic},
author = {Jesse Alama},
journal= {arXiv preprint arXiv:1403.7777},
year = {2014}
}
备注
13 pages. Submitted to Trends in Logic XIII 2014