We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our development is technically based upon the so-called theory of institutions of Goguen and Burstall...

Institutional repositories (IRs) are digital collections that capture and preserve the intellectual output of a single or multi-university community. Their aim is to provide access to scholarly material without the economic barriers that currently exist in scholarly publishing. If successful, IRs hold the promise of being very advantageous to researchers everywhere, especially those in the deve...

The purpose of this qualitative study is to elucidate stakeholder perceptions of, and institutional practices related to cell-based therapies and products (CTP) regulation and commercialization in Canada. The development of reproducible, safe and effective CTPs is predicated on regulatory and commercialization environments that enable innovation. Manufacturing processes constitute a critical st...

In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of (Craig) interpolation and (Beth) definability, as they app...

Europe is the leading continent in terms of active adoption and use of Digital Libraries – particularly Institutional Repositories (IRs). Africa has not done poorly in this area with a steady increase from 19 repositories in 2008 to 46 in January, 2011 but there is need to raise awareness and channel efforts towards making IRs easily accessible to Africans through ubiquitous channels such as ha...

The cosmic infrared background (CIRB) is a record of a large fraction of the emission of light by stars and galaxies over time. The bulk of this emission has been resolved by the Infrared Space Observatory camera. The dominant contributors are bright starburst galaxies with redshift z approximately 0.8; that is, in the same redshift range as the active galactic nuclei responsible for the bulk o...

The paper analysis the role of the Internet for different types of innovation not only focusing on the traditional set of product, process, organizational and marketing innovation, but also extending to innovation in the public sector. In addition to the role of the Internet for various types of innovations, it has also implications for new forms of innovation, especially for the new paradigm o...