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...

Based on the notion that the brain is equipped with a hierarchical organization, which embodies environmental contingencies across many time scales, this paper suggests that the medial temporal lobe (MTL)-located deep in the hierarchy-serves as a bridge connecting supra- to infra-MTL levels. Bridging the upper and lower regions of the hierarchy provides a parallel architecture that optimizes in...

Medial temporal lobe (MTL) structures may constitute a representational hierarchy, rather than a dedicated system for memory. Barense et al. (2012) show that intact memory for object features can interfere with perception of complex objects in individuals with MTL amnesia.

The importance of the medial temporal lobe to episodic memory has been recognized for decades. Recent human fMRI findings have begun to delineate the functional roles of different MTL regions, most notably the hippocampus, for the retrieval of episodic memories. Importantly, these studies have also identified a network of cortical regions--each interconnected with the MTL--that are also consist...