梅特尔

MetTeL:一个具有逻辑无关推理机的tableau证明器。MetTeL是一个通用的表证明器,用于各种模态、直观、混合、描述和度量逻辑。MetTeL的核心组件是一个逻辑无关的tableau推理机。一个新的特性是用户能够灵活地指定一组用于派生的tableau规则。终端可以通过标准循环检查机制或无限制阻塞来实现。


zbMATH中的参考文献(参考文献15条,2标准条款)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. 鲍姆加特纳,彼得;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. 安纳托利,贝尔图科夫ĭ 彼得罗维奇;Abbasi,Mohsin Manshad:自然语言文本中情感的逻辑分析(2019)
  3. 佐哈尔,尤尼;蒂什科夫斯基,德米特里;施密特,雷诺A。;安娜·扎曼斯基:自动化自动推理。两个通用自动推理工具案例(2019)
  4. 辛多尼,朱利亚;胜野,胜彦;Stell,John G.:离散空间关系的公理化(2018)
  5. 斯蒂芬,亚历山大;奔驰üLer,Christoph:高阶证明者Leo III(2018)
  6. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:JTabWb:实现终止序列和表计算的Java框架(2017)
  7. 潜育层ß内尔,托比亚斯;斯蒂芬,亚历山大;奔驰üller,Christoph:每种正规模态逻辑的定理证明者(2017)
  8. 斯特尔,约翰·G。;施密特,雷诺A。;David Rydeheard:双直觉模态逻辑:基础与自动化(2016)
  9. 佐哈尔,尤尼;Zamansky,Anna:Gen2sat:分析纯序列计算中确定可导性的自动化工具(2016)
  10. 施密特,雷诺A。;Waldmann,Uwe:具有分块和同余闭包的模态tableau系统(2015)
  11. 施密特,雷诺A。;Tishkovsky,Dmitry:使用tableau来决定完全角色否定和身份的描述逻辑(2014)
  12. 斯特尔,约翰·G。;施密特,雷诺A。;大卫.里德黑德:双直觉时态逻辑的画面发展(2014)
  13. 霍达达迪,穆罕默德;施密特,雷诺A。;Tishkovsky,Dmitry:描述逻辑的带控制块的精细表演算(\mathcalSHOI)(2013)
  14. 香港德米特里;施密特,雷诺A。;霍达达迪,穆罕默德:tableau prover generator METTEL2(2012年)ioport公司
  15. 蒂什科夫斯基,德米特里;施密特,雷诺A。;霍达达迪,穆罕默德:\ textscmetel:一个具有逻辑独立推理引擎的tableau prover(2011)


更多出版物请访问:http://www.mettel-prover.org/papers.php