Polyá逻辑(I)

讨论在科学研究中的发明创造思维的数学模型，对Ｐｏｌｙá提出的“论证推理模式”与“归纳推理模式”作形式化处理，在古典逻辑系统中引进模态词◇后建立了一系列新的逻辑系统。在其中可以推导出Ｐｏｌｙá所提出的许多推理模式，同时也推导出许多新的推理模式。最后，研究了这些逻辑系统与古典模态逻辑之间的关系。