In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.

  • 第二部分:利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式。
目录 查词历史