演绎定理相关论文
对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统......
研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),......
