In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...

Debra Nestel ([email protected]) Diana Tabak ([email protected]) Tanya Tierney ([email protected]) Carine Layat-Burn ([email protected]) Anja Robb ([email protected]) Susan Clark ([email protected]) Tracy Morrison ([email protected]) Norma Jones ([email protected]) Rachel Ellis ([email protected]) Cathy Smith ([email protected]) Nancy McNaughto...

There are two principal methods for turning regular expressions into NFA’s one due to McNaughton and Yamada and another due to Thompson. Unfortunately, both have drawbacks. Given a regular expression R of length r and with s occurrences of alphabet symbols, Chang and Paige (1992) and Briiggemamr-Klein (1993) gave O(m + r) time and O(r) space algorithms to produce a O(m) space representation of ...

Which actions does morality require of us? What does it forbid and what does it permit? In trying to fi nd some general answers to these questions, moral theorists typically start from commonsense morality, from what ordinary people think about moral issues. In deciding how to act, people often think about the consequences of their actions: they try to fi nd the action that leads to the best ov...

Abs t rac t . This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller automata and by game graphs (as introduced by McNaughton) is considered, and the construction of winning strategies is described in three stages, covering "guarantee games", "recurrence games", and generM regular ...

According to "The Neuropsychology of Anxiety" [Gray, J.A., 1982, The Neuropsychology of Anxiety: An Enquiry into the Functions of the Septo-hippocampal System, Oxford University Press, Oxford; Gray, J.A., McNaughton, N., 2000, The Neuropsychology of Anxiety: An Enquiry into the Functions of the Septo-hippocampal System, 2nd ed., Oxford University Press, Oxford], anxiolytic drugs of all types ac...

William E. Skaggs and Bruce L. McNaughton state, in the title of their report, that they found a "Replay of neuronal firing sequences in rat hippocampus during sleep following spatial experience" (1). On the basis of the evidence they present, we question that finding. Skaggs and McNaughton analyzed recordings from pairs of rat hippocampal neurons during a period of running on a closed track an...

Beginning with Goldsmith (1976), the phonological tier has a long history in phonological theory to describe non-local phenomena. This paper defines a class of formal languages, the Tier-based Strictly Local languages, which describe such phenomena and locates them within the Subregular Hierarchy (McNaughton and Papert, 1971). In particular, these languages contain the Strictly Local languages,...