多日志

MUltlog是一个以有限值一阶逻辑的规范为输入,并为该逻辑产生一个顺序演算、自然演绎系统和子句形成规则的系统。生成的分枝规则都是关于度的优化。输出是以乳胶书写的科学论文的形式。本文给出了一个三值逻辑的例子。有关更多详细信息,请参阅CADE-13上提供的系统说明、发行版的自述文件以及1.05版以来的更改。


zbMATH参考文献(17篇文章引用)

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

  1. Geoff Sutcliffe;Pelletier,Francis Jeffry:JGXYZ:gap和glut逻辑的ATP系统(2019)
  2. Bongini,Mattia;Ciabattoni,Agata;Montagna,Franco:多值逻辑的证明搜索与共NP完备性(2016)
  3. Zohar,Yoni;Zamansky,Anna:Gen2sat:用于确定分析纯序列计算中可导性的自动化工具(2016)
  4. Ciabattoni,Agata;Lahav,Ori;Spendier,Lara;Zamansky,Anna:驯服次一致(和其他)逻辑:算法方法(2015)
  5. Cerami,Marco;García-Cerdaña,Àngel;Esteva,Francesc:关于有限值模糊描述逻辑(2014)
  6. Ciabattoni,Agata;Montagna,Franco:局部有限多值逻辑的证明理论:半投射逻辑(2013)
  7. Gil,Angel J.:关于与保持真度的有限值逻辑相关的Gentzen关系(2013)
  8. Roanes Lozano,Eugenio;Alonso,JoséAntonio;Hernando,Antonio;Laita,Luis M.;Roanes Macías,Eugenio:The Logics’s Explorer:探索有限多值命题逻辑的Maple包(2011)
  9. Garcıá-Cerdaña,Àngel;Armengol,Eva;Esteva,Francesc:模糊描述逻辑和(t)-基于范数的模糊逻辑(2010)
  10. Komendantskaya,Ekaterina:基于双态逻辑的序列演算及其多排序表示(2007)
  11. Salzer,Gernot:有限值逻辑的最优公理化(2000)
  12. Baaz,Matthias;Fermüller,Christian G.:射影逻辑的分析计算(1999)
  13. Gil,Àngel J.;Reagliato,Jordi;Verdú,Ventura:与有限代数相关的Gentzen系统的强完备性定理(1999)
  14. Fermüller,Christian G.;Langsteiner,Herbert:具有任意分布模式的有限值逻辑的Tableaux(1998)
  15. Baaz,Matthias;Fermüller,Christian G.;Salzer,Gernot;Zach,Richard:Multlog1.0:走向多值逻辑的专家系统(1996)
  16. 多值逻辑专家系统(1996)
  17. Salzer,Gernot:基于半格的多值算子和量词的最优公理化(1996)