The research is aimed at identifying the specifics of ana (mother -Kazakh)/mat’ (mother-Russian)/mother semantic broadening in Kazakh, Russian and English languages. componential analysis method lexicalized word definitions used to do this. It has been revealed that they present a prototype mother markers, as well “woman”, “giving birth”, “raising”, “single-generation” distinguishers, which pro...

The main purpose of this article is to develop a lattice point view for the study argumentation framework extensions. We first characterize self-defending sets an by closed implicational system that can be computed in polynomial time from framework. On other hand, any $$\Sigma $$ over set arguments, we associate whose admissible are bijection with . Second, propose conflict-closed reduction rul...

Traditional approaches to morphology tend to treat inflectional systems not as unstructured sets of forms with shared stems or roots but as structured networks of elements. The interdependency of elements is, as Matthews (1991: 197) notes, ‘the basis of exemplary paradigms’ in the classical grammatical tradition. Although the exemplary patterns and leading forms of traditional descriptions brin...

published by the press syndicate of the university of cambridge This book is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. A catalogue record for this book is available from the British Library Library of Congress Cataloguing ...

and introduction. The condensed detachment rule, or rule D, was first proposed by Carew Meredith in the 1950's for propositional logic based on implication. It is a combination of modus ponens with a "minimal" amount of substitution. We shall give a precise detailed statement of rule D. (Some attempts in the published literature to do this have been inaccurate.) The D-completeness question for ...

This paper considers two phenomena in Tz'utujil (Mayan) phonology: final sonorant devoicing and aspiration of plain (pulmonic) stops affricates. Both occur word-internally coda position, as well word-finally. I present an Optimality-Theoretic (OT) analysis which accounts for both these via positional constraints on [spread glottis] ([SG]). also attested variation across the Mayan language famil...

We study the asymptotic relation between the probability and the complexity of Boolean functions in the implicational fragment which are generated by large random Boolean expressions involving variables and implication, as the number of variables tends to infinity. In contrast to models studied in the literature so far, we consider two expressions to be equal if they differ only in the order of...

This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus, generalizing the double-negation typing of continuations. Lambek’s syntactic calculus is a logic with two implicational connectives taking the...

Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Earlier work showed all of these implications to be strict. Here we re-prove one of the strictness results, using very different arguments. The technique used is a mixture of realizability, forcing in the gu...