精木赤山;亚伯、杰尔·米诺罗;中松，川美 带有强烈否定的建构性话语逻辑。 （英文） 兹比尔1260.03055 日志。分析。，努夫。Sér。 54，第215号，395-408（2011）. 摘要：雅斯科夫斯基的话语逻辑（或话语逻辑）是第一个被归类为非附加系统的形式次协调逻辑。现在人们认识到，话语逻辑通常不适合于次协调推理。为了在建设性的背景下加以改进，我们基于尼尔森的建设性逻辑（N^-），提出了一种带有强否定CDLSN的建设性话语逻辑。在CDLSN中，话语否定的定义类似于直觉否定，话语蕴涵被定义为使用话语否定的物质蕴涵。我们给出了一个公理系统和Kripke语义，并给出了完整性证明。我们还讨论了该系统相对于其他次协调系统的一些优点。 引用于2文件 MSC公司： 03B53号 准一致逻辑 关键词：话语逻辑;讨论逻辑;次协调逻辑;构造逻辑;公理系统;克里普克语义学 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}等人，日志。分析。，努夫。Sér。54、第215、395--408号（2011；Zbl 1260.03055）