梅特尔

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


zbMATH中的参考文献(参考 13篇文章,标准条款2)

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

  1. Baumgartner,Peter;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. Sindoni,Giulia;Sano,Katsuhiko;Stell,John G.:离散空间关系的公理化(2018)
  3. Steen,Alexander;Benzmüller,Christoph:高阶证明者Leo III(2018)
  4. 法拉利,毛罗;佛罗伦萨,卡米洛;菲奥里诺,吉多:JTabWb:实现终止顺序和表计算的Java框架(2017)
  5. Gleißner,Tobias;Steen,Alexander;Benzmüller,Christoph:每种正规模态逻辑的定理证明者(2017)
  6. Stell,John G.;Schmidt,Renate A.;Rydeheard,David:《双直觉模态逻辑:基础与自动化》(2016)
  7. Zohar,Yoni;Zamansky,Anna:Gen2sat:用于确定分析纯序列计算中可导性的自动化工具(2016)
  8. Schmidt,Renate A.;Waldmann,Uwe:带分块和同余闭包的模态表观系统(2015)
  9. Schmidt,Renate A.;Tishkovsky,Dmitry:使用tableau确定具有完全角色否定和身份的描述逻辑(2014)
  10. Stell,John G.;Schmidt,Renate A.;Rydeheard,David:双直觉时态逻辑的表格开发(2014)
  11. 霍达达迪,穆罕默德;施密特,雷纳特A.;蒂什科夫斯基,德米特里:一种描述逻辑的带控制块的精细表格演算(\mathcalSHOI)(2013)
  12. Tishkovsky,Dmitry;Schmidt,Renate A.;Khodadadi,Mohammad:tableau prover generator METTEL2(2012年)ioport公司
  13. Tishkovsky,Dmitry;Schmidt,Renate A.;Khodadadi,Mohammad:\ textscmetel:一个具有逻辑独立推理引擎的tableau prover(2011)


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