Download PDFOpen PDF in browserFeasibility as a gradual notion5 pages•Published: March 25, 2013AbstractThe 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.Keyphrases: feasibility, gradualness, logical omniscience, t norm logics In: Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., vol 13, pages 15-19.
|