Deduction Theorem for Many-Valued Inference

Mingsheng Ying
DOI: https://doi.org/10.1002/malq.19910373304
1991-01-01
Abstract:Mathematical Logic QuarterlyVolume 37, Issue 33-35 p. 533-537 Article Deduction Theorem for Many-Valued Inference Mingsheng Ying, Corresponding Author Mingsheng Ying Nanchang (China)Department of Mathematics, Jiangxi Normal University, Nanchang 330027, ChinaSearch for more papers by this author Mingsheng Ying, Corresponding Author Mingsheng Ying Nanchang (China)Department of Mathematics, Jiangxi Normal University, Nanchang 330027, ChinaSearch for more papers by this author First published: 1991 https://doi.org/10.1002/malq.19910373304Citations: 8AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinked InRedditWechat Citing Literature Volume37, Issue33-351991Pages 533-537 RelatedInformation
What problem does this paper attempt to address?