in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...

Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...

This paper revisits visualization as a technique to enhance programming comprehension. It points out that animation, being a machine-driven visualization, is inadequate. Memory Transfer Language (MTL), as a visualization technique which is absolutely programmer-driven is demonstrated and discussed. It is shown that MTL can be plugged into current materials for teaching programming. Register Tra...

A formal framework for specifying and verifying real-time systems with a continuous environment is presented. Metric Temporal Logic (MTL) is extended with a duration concept similar to the one in the Duration Calculus (DC). The resulting logic, called MTL-R , is compared with DC and is shown to be more expressive. Axioms for MTL-R and a sound rule to prove that a timed transition system satisse...

The study was conducted to assess the level of understanding and the ability to extract information from a nutrition information panel (NIP) among women (n = 232, 20-59 years) in the Klang Valley, an urban area in Malaysia. The study involved the currently used format in Malaysia and three other formats, namely (i) based on Guideline Daily Amount (GDA), (ii) Multiple Traffic Light (MTL) and (ii...

Task-dependent field potentials were recorded from implanted electrodes located in the hippocampus and other medial temporal lobe (MTL) structures of epileptic patients undergoing evaluation for possible surgery. In 2-alternative categorization tasks, low-probability auditory, somatic, and visual stimuli elicited potentials with large amplitudes and sharp spatial gradients having the following ...

Investigations of memory in rats and nonhuman primates have demonstrated functional specialization within the medial temporal lobe (MTL), a set of heavily interconnected structures including the hippocampal formation and underlying entorhinal, perirhinal, and parahippocampal cortices. Most studies in humans, however, especially in patients with brain damage, suggest that the human MTL is a unit...