Deduction Theorem for Many-Valued Inference
- 作者Mingsheng Ying
- 卷第37卷
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小205.63KB
- 发表时间1991
- DOI10.1002/malq.19910373304
- 页码533-537
同作者推荐
Modeling vagueness by nonstandardnessAthanassios Tzouvaras · 1998
Objects and their lambda calculusAthanassios Tzouvaras · 2001
Aspects of analytic deductionAthanassios Tzouvaras · 1996
Forcing and antifoundationAthanassios Tzouvaras · Archive for Mathematical Logic · 2005
Erratum: “Forcing and antifoundation”Athanassios Tzouvaras · Archive for Mathematical Logic · 2005
Localizing the axiomsAthanassios Tzouvaras · 2010
Erratum to: Localizing the axiomsAthanassios Tzouvaras · 2011
Cardinality without EnumerationAthanassios Tzouvaras · Studia Logica · 2005