Since then,I have been constructingmutually-inversistic mathematical logic. Now,itis fully fledged. Itincludes mutually-inversistic logic,mutually-inversisticmathematics,and their applications. Mutually-inversistic logicincludes two calculi and four theoriesofmutual-inversism,mutually-inversistic granular computing,unifiedlogics. Mutually-inversistic mathematics includesmutually-inversistic analytic geometry,mutually-inversisticmathematical analysis,mutually-inversistic abstractalgebra,universal matrix.Applications include logic programming(see Part 4),automated theorem proving,planningandscheduling,database,semantic network,expert system,programverification,naturallanguage processing,hardwareverification,machine learning,data mining,data warehouse,programrefinement,many-valued computer,modern control theory,etc... 周訓偉 (作者)
|