期刊文献+

哲学逻辑概论 被引量:7

下载PDF
导出
摘要 哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。
作者 刘壮虎
机构地区 北京大学哲学系
出处 《北京航空航天大学学报(社会科学版)》 2000年第1期22-25,,39,,共5页 Journal of Beijing University of Aeronautics and Astronautics:Social Sciences edition Edition
  • 相关文献

参考文献5

二级参考文献28

  • 1余志.海洋波浪能发电技术进展[J].海洋工程,1993,11(1):86-93. 被引量:31
  • 2SETOGUCHI T, SANTHAKUMAR S, MAEDA H, et al. A review of impulse turbines for wave energy conversion [ J ] . Renewable Energy, 2001,23 : 261 - 292.
  • 3THAKKER A, FRAWLEY P, BAJEET ESHEIK. Comparison of 0.6m impulse and wells turbines for wave energy conversion under similar conditions//Proceedings of the Eleventh International Offshore and Polar Engineering Conference[ C ]. Stavanger: ISOPE, 2001.630 - 633.
  • 4THAKKER A, FRAWLEY P, KHALEEQ H B. Experimental and CFD analysis of 0.6m impulse turbine with fixed guide vanes//Proceedings of the Eleventh International Offshore and Polar Engineering Conference [ C ]. Stavanger: ISOPE, 2001. 625 - 629.
  • 5FalnesL,Loveseth.Ocean wave energy[J].Energy Policy,1991,19(8):768-775.
  • 6Kofoed J P,Frigaard P,Madsen E F,et al.Prototype testing of the wave energy converter wave dragon[J].Renewable Energy,2006,31(2):181-189.
  • 7MargheritiniL,Vicinanza D,Frigaard P.SSG wave energy converter:design,reliability and hydraulic performance of an innovativeovertopping device[J].Renewable Energy,2009,34(5):1371-1380.
  • 8Hu K,Mingham C G,Causon D M.Numerical simulation of wave overtopping of coastal structures using the nonlinear shallow waterequations[J].Coastal Engineering,2000,41(4):433-465.
  • 9Hieu P D,Katsutoshi T,Ca V T.Numerical simulation of breaking waves using a two-phase flow model[J].Applied MathematicalModeling,2004,28(11):983-1005.
  • 10Hirt C W,Nichols B D.Volume of fluid(VOF)method for the dynamics of free boundaries[J].Journal of Computational Physics,1981,39:201-225.

共引文献37

同被引文献25

引证文献7

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部