梅特尔

METTEL:一个具有逻辑独立推理引擎的表证明器。MTELTL是一种通用的各种模态、直觉、混合、描述和度量逻辑的表证明器。METTEL的核心组件是一个逻辑无关的表推理引擎。一个新的特点是,用户有能力灵活地指定在推导中使用的一组表规则。终止可以通过一个标准的环路检查机制或非限制性阻塞的泛化来实现。


ZBMaX中的参考文献(13篇)2篇标准文章

显示结果1至13的13。
按年份排序(引文

  1. 鲍姆加特,彼得;施密特,Renate A.:自底向上模型生成方法的阻塞和其他增强(2020)
  2. Sindoni,Giulia;佐野,Katsuhiko;斯泰尔,John G.:离散空间关系公理化(2018)
  3. 斯蒂恩,亚力山大;Brimmü勒,克里斯托夫:高阶证明器Leo III(2018)
  4. 法拉利,毛罗;菲奥伦蒂尼,CAMILO;Fiorino,GuIDO:JTabWb:实现终止序列和TabLoue计算器的Java框架(2017)
  5. 格雷纳,托拜厄斯;斯蒂恩,亚力山大;Bangmü勒,克里斯托夫:每个正规模态逻辑的定理证明(2017)
  6. Stell,John G.;施密特,Renate A.;瑞德沃德,戴维:双直觉模态逻辑:基础与自动化(2016)
  7. ZoHaar,Yoni;Zamansky,安娜:GAN2SAT:一种确定纯解析序列的可推导性的自动化工具(2016)
  8. 施密特,Renate A.;瓦尔德曼,UWE:具有闭包和同余闭包的模态表系统(2015)
  9. 施密特、Renate A.、Tishkovsky、德米特里:利用TabLouu确定具有完全角色否定和身份的描述逻辑(2014)
  10. Stell,John G.;施密特,Renate A.;瑞德沃德,戴维:双直觉时态逻辑的表发展(2014)
  11. Khodadadi,穆罕默德;施密特,Renate A.;Tishkovsky,德米特里:描述逻辑(MathCalSoi)的受控闭包的精细表演算(2013)
  12. Tishkovsky,德米特里;施密特,Renate A.;Khodadadi,穆罕默德:表格证明发生器MTELT2(2012)伊波尔特
  13. Tishkovsky,德米特里;施密特,Renate A.;Khodadadi,穆罕默德:\TrackMeTel:一个逻辑独立推理机的表格证明器(2011)


进一步的出版物可以在:HTTP://www. MelTel-PrV.Org/Posi.PHP