We can construct ME by using the technical methods in modal logics to define general valid formulae.

 
  • 我们可仿造真性模态逻辑的技术方法定义普遍有效式,构造极小正规认知系统ME。
今日热词
目录 附录 查词历史