加载中…
2018-10-26
A simplified version of the Sequent Calculus G3[mic]^=
Franco ParlamentoFlavio Previale
文献摘要
We show that the Replacement Rule in the sequent calculus G3[mic]}^=, for first order languages with function symbols and equality, can be replaced by the simpler rule in which the transformed formula is not repeated in the premiss.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本