中国科学院数学与系统科学研究院期刊网
模态系统与蕴涵系统
莫绍揆
THE MODAL SYSTEMS AND IMPLICATION SYSTEMS
数学学报 . 1959, (2): 121 -142 .  DOI: 10.12386/A1959sxxb0013