多结论逻辑相关论文
本文从澄清"modus ponens"的拉丁文涵义并揭示它在实际使用中的不同所指入手,沿着语义进路分别在经典逻辑与以超相容性逻辑LP为例的......
期刊