DiaLog公司 swMATH ID: 32376 软件作者： 尤根·埃伦斯伯格；圣诞老人津恩 描述： DiaLog：对话逻辑系统。我们提出了一个证明系统，该系统实现了Lorenzen最初开发的对话逻辑。直觉主义和经典逻辑是预先定义的。规则语言允许轻松定义其他逻辑的对话规则。DiaLog提供了多种逻辑。该系统支持完全自动化和交互式的证据搜索。用户友好的图形界面显示对话画面、对话跟踪字段和对话策略图示器。 主页： https://link.springer.com/chapter/10.1007%2F3-540-63104-6_44 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 DiaLog公司对话逻辑系统。 Zbl 1430.68402号尤尔根·埃伦斯伯格；圣诞老人津恩 1997 2位作者引用 1 尤尔根·埃伦斯伯格 1 圣诞老人津恩 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文