A Theory of Propositions

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with formal semantics and it does not enforce an overly fine or overly coarse level of granularity

Lubricant degradation, transport and the effect of extended oil drain intervals on piston assembly tribology

There are ever increasing demands on lubricant manufacturers to meet governmental legislation and customer needs by improving fuel economy, engine durability and exhaust system compatibility as shown by the introduction of GF4 and move towards GF5 specification oils. This has created an ever increasing need to understand how oil degrades in an engine and how this degraded oil affects piston assembly tribology. This review conference paper will give an overview of a collaborative project that has been undertaken to further enhance the understanding of how lubricant degrades in an operating engine, its transport through the engine and effect upon piston assembly tribology

Extraction and tribological investigation of top piston ring zone oil from a gasoline engine

With tightening emission regulations, increased expected fuel economy, and longer drain intervals impacting on lubricant formulation, greater understanding of how oil degrades in an automotive engine is becoming ever more important. Equally significant is the effect that this degraded lubricant has on the tribological operation of the engine, particularly its overall internal friction and component wear. In a previous paper, four tests to degrade oil in a single cylinder engine were reported [1]. These tests were set up such that the lubricating oil was degraded in the ring pack before returning to the sump, where it was sampled and chemical and rheological analysis undertaken. This paper reports the extension of this work using the same Hydra engine and describes how oil has additionally been extracted from the rear of the top piston ring during engine operation. This extracted oil has then been subjected to similar analysis as the sump oil samples in the previous tests, along with additional analysis to look at the tribological properties of the oil using tribometers. The results clearly show significant differences in the rheological, tribological, and chemical properties of the fresh oil and used sump oil samples when compared with the top ring zone (TRZ) oil samples, particularly the effect of load on the levels of volatiles present in the TRZ samples and their effect on traction and friction coefficient values during tribological testing

Analysis of interference to cable television due to mobile usage in the Digital Dividend

The start of use of mobile applications in the 800 MHz band, which forms part of the ‘Digital Dividend’, will cause interference to TV signals under certain conditions. The new mobile applications (called LTE, Long Term Evolution) use frequencies also used in cable TV networks. This report examines how much interference may occur when providing digital television over cable networks

Applications of the ACGT Master Ontology on Cancer

In this paper we present applications of the ACGT Master Ontology (MO) which is a new terminology resource for a transnational network providing data exchange in oncology, emphasizing the integration of both clinical and molecular data. The development of a new ontology was necessary due to problems with existing biomedical ontologies in oncology. The ACGT MO is a test case for the application of best practices in ontology development. This paper provides an overview of the application of the ontology within the ACGT project thus far

Nutrient export in run-off from an in-field cattle overwintering site in east-central Saskatchewan

Non-Peer Reviewe