A criterion for finite module type

a cauchy-schwarz type inequality for fuzzy integrals

نامساوی کوشی-شوارتز در حالت کلاسیک در فضای اندازه فازی برقرار نمی باشد اما با اعمال شرط هایی در مسئله مانند یکنوا بودن توابع و قرار گرفتن در بازه صفر ویک می توان دو نوع نامساوی کوشی-شوارتز را در فضای اندازه فازی اثبات نمود.

A New Criterion for Screening Medical Applicants

Introduction. In the current screening system, new admissions are based on general intelligence as measured by universities entrance examination. Considering the fact that an important function of medical graduates is to educate the patients how to restore and take care of their health, communicative competence and skills would be, at least, as important as general intelligence. To show that la...

A Module Calculus for Pure Type Systems

MacLane's planarity criterion for locally finite graphs

MacLane’s planarity criterion states that a finite graph is planar if and only if its cycle space has a basis B such that every edge is contained in at most two members of B. Solving a problem of Wagner (1970), we show that the topological cycle space introduced recently by Diestel and Kühn allows a verbatim generalisation of MacLane’s criterion to locally finite graphs. This then enables us to...

A Module Calculus for Pure Type Systems

Several proof-assistants rely on the very formal basis of Pure Type Systems (PTS) as their foundations. We are concerned with the issues involved in the development of large proofs in these provers such as namespace management, development of reusable proof libraries and separate verification. Although implementations offer many features to address them, few theoretical foundations have been la...