Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic

Personal tools