This paper discusses the manner in which SNOMED CT (SCT) has confused the metonymic role of some class labels as holonyms and has inappropriately assigned property inheritance down a holonymic chain due to its transitiveness. The notion of emergent properties is introduced as the only form of property that can exist on a holonym and its use in a hypernymic inheritance hierarchy is discussed. Th...

We introduce a simply typed -calculus " which has both contexts and environments as rst-class values. In ", holes in contexts are represented by ordinary variables of appropriate types and hole lling is represented by the functional application together with a new abstraction mechanism which takes care of packing and unpacking of the term which is used to ll in the holes of the context. " is a ...

We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables of appropriate types and hole filling is represented by the functional application together with a new abstraction mechanism which takes care of packing and unpacking of the term which is used to fill in the holes of the conte...

This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary λ-calculus. The completeness of the typing system is obtained from subject expansion at root position. This paper...

Intellectual property (IP) scholars have long struggled to explain the boundaries of and differences between copyright and patent law. This Article proposes a novel explanation: copyright and patent can be fruitfully understood as establishing a dichotomy between two different groups of human senses. Copyright traditionally involves objects addressed to the senses of sight and hearing while pro...

In this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring R such that, every regular matrix admits a diagonal power-reduction.

We use the recursive path ordering (RPO) technique of semantic labelling to show the preservation of strong normalization (PSN) property for several calculi of explicit substitution. PSN states that if a term M is strongly normalizing under ordinary p-reduction (using ‘global’ substitutions), then it is strongly normalizing if the substitution is made explicit (‘local’). There are different way...

This study focuses on the effect of the synthetic conditions on the stability, particle size, redox chemistry of cobalt into the framework of CoAlPO-34. It seems that the most sufficient pH for the substitution of Co into the framework of CoAlPO-34 was pH around 7.5 when the assynthesized bifunctional catalyst has the best redox property. The pH of the initial gel has strong effect on the parti...