Feasibility as a gradual notion
暂无分享,去创建一个
The notion of feasibility, applicable in various areas related to logic, is arguably of gradual nature—some tasks are more feasible than others. The possibility of modeling a gradual notion of feasibility in t-norm logics is brought forward and illustrated on the gradual notions of feasible number, feasible knowledge, feasible formula, and feasible computability.
[1] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.
[2] L. Behounek. Fuzzy Logics Interpreted as Logics of Resources , 2009 .
[3] Petr Cintula,et al. Fuzzy class theory , 2005, Fuzzy Sets Syst..
[4] Petr Cintula,et al. Relations in Fuzzy Class Theory: : Initial steps , 2008, Fuzzy Sets Syst..
[5] Rohit Parikh,et al. Existence and feasibility in arithmetic , 1971, Journal of Symbolic Logic.