A formal deductive system for fuzzy propositional calculus

• 1 September 1997
• journal article
• bulletin
• Published by Springer Nature in Chinese Science Bulletin
• Vol. 42  (18) , 1521-1525
• https://doi.org/10.1007/bf02882922

Abstract

Keywords

• ΣR-TANTOLOGY
• Α-MP RULE
• Α-HS RULE
• ALGEBRA OF FUZZY FORMULAS
• FORMAL DEDUCTIVE SYSTEM ℐ*(ℱ)
• QUOTIENT ALGEBRA