We extend the notion of Heyting algebra to a notion of truth values algebra and prove that a theory is consistent if and only if it has a B-valued model for some non trivial truth values algebra B. A theory that has a B-valued model for all truth values algebras B is said to be super-consistent. We prove that super-consistency is a model-theoretic sufficient condition for strong normalization.

We consider the representable equational theory of binary relations, in a language expressing composition, converse, and lattice operations. By working directly with a presentation of relation expressions as graphs we are able to define a notion of reduction which is confluent and strongly normalizing and induces a notion of computable normal form for terms. This notion of reduction thus leads ...

“ This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of [1] and shows a strong normalisation result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterisation of normalisability of terms, using intersection types. ”

Studies on talker normalization have reported that contexts would affect how a vowel/consonant/tone is perceived, which suggests that listeners use cues in the context as a reference for speech perception. However, it is unclear how the cues of the context are encoded in memory, and to what extent the context effects are influenced by interruption in sensory memory and reduction in attentional ...

Abstract: An exact solution method in terms of an infinite power series is developed for linear ordinary differential equations with polynomial coefficients. The method is general and applicable to a wide range of equations of any Nth order presented in normal form. The final solution is defined by a linear combination of S functions fj(x) j=1,...,S expressed in the form of a power series, and ...

For a nonlinear system with a control input, a generalized form of the homological equation can be formulated to reduce the system to its normal form. In this paper, it has been shown that for a linearly controllable system with an appropriate choice of state feedback, the generalized homological equation can be solved to give an explicit solution, of a reduced order, to the problem of second o...

The paper describes the design and development of NORMIT, an Intelligent Tutoring Systems (ITS) that teaches database normalization to university students. NORMIT is a Web-enabled system, and we discuss its architecture and techniques used to deal with multiple students. We also discuss Constraint-Based Modeling (CBM), the underlying student and domain modelling approach. NORMIT is the first in...

Governments sometimes need to analyse sets of research papers within a field in order to monitor progress, assess the effect of recent policy changes, or identify areas of excellence. They may compare the average citation impacts of the papers by dividing them by the world average for the field and year. Since citation data is highly skewed, however, simple averages may be too imprecise to robu...

In the therapy of the hearing impaired one of the key problems is how to deal with the lack of proper auditive feedback which impedes the development of intelligible speech. The effectiveness of the therapy relies heavily on accurate phoneme recognition. Because of the environmental difficulties, simple recognition algorithms may have a weak classification performance, so various techniques suc...