[permalink] [id link]
The term ' syntactic ' has a slightly wider scope than ' proof-theoretic ', since it may be applied to properties of formal languages without any deductive systems, as well as to formal systems.
Some Related Sentences
term and syntactic
The term syntactic sugar was coined by Peter J. Landin in 1964 to describe the surface syntax of A Programming Language ( APL ) which was defined semantically in terms of the applicative expressions of lambda calculus.
The metaphor has been extended by coining the term syntactic salt, which indicates a feature designed to make it harder to write bad code.
Typically features involve various term frequencies ( how many times a phrase appears in the current text or in a larger corpus ), the length of the example, relative position of the first occurrence, various boolean syntactic features ( e. g., contains all caps ), etc.
* There is a ( Curry-Howard ) proof term calculus, whose terms denote linguistic ( phonological, syntactic, or semantic ) entities.
Categorial grammar ( also categorical grammar ) is a term used for a family of formalisms in natural language syntax motivated by the principle of compositionality and organized according to the view that syntactic constituents should generally combine as functions or according to a function-argument relationship.
The term construction grammar ( CxG ) covers a family of theories, or models, of grammar that are based on the idea that the primary unit of grammar is the grammatical construction rather than the atomic syntactic unit and the rule that combines atomic units, and that the grammar of a language is made up of taxonomies of families of constructions.
An adpositional phrase is a linguistics term defining a syntactic category that includes prepositional phrases and postpositional phrases.
An adverbial phrase ( AdvP ) is a linguistic term for a group of two or more words operating adverbially, when viewed in terms of their syntactic function.
term and has
`` Disaffiliation '', by the way, is the term used by the critic and poet, Lawrence Lipton, who has written several articles on this subject, the first of which, in The Nation, quoted as Epigraph: `` We disaffiliate.
It holds an equally valuable lesson for a society where the word `` intellectual '' has become a term of opprobrium to millions of well-meaning people who somehow imagine that it must be destructive of the simpler human virtues.
As he died because of a small wound on his heel, the term Achilles ' heel has come to mean one's point of weakness.
The term " the United States " has historically been used, sometimes in the plural (" these United States "), and other times in the singular, without any particular grammatical consistency.
The term was originally coined in the 19th century by the founding sociologist and philosopher of science, Auguste Comte, and has become a major topic for psychologists ( especially evolutionary psychology researchers ), evolutionary biologists, and ethologists.
In more modern English usage, the term " adobe " has come to include a style of architecture popular in the desert climates of North America, especially in New Mexico.
The term " droid ", coined by George Lucas for the original Star Wars film and now used widely within science fiction, originated as an abridgment of " android ", but has been used by Lucas and others to mean any robot, including distinctly non-human form machines like R2-D2.
Thus the term asteroid has come increasingly to refer specifically to the small bodies of the inner Solar System out to the orbit of Jupiter, which are usually rocky or metallic.
The precise reference of this term has varied over time, perhaps originally referring only to the Ionian colonies along the coast.
The precise reference of this term has varied over time, perhaps originally referring to the Ionian colonies on the Asia Minor coast.
Other terms that have been used include neosyllabary ( Février 1959 ), pseudo-alphabet ( Householder 1959 ), semisyllabary ( Diringer 1968 ; a word which has other uses ) and syllabic alphabet ( Coulmas 1996 ; this term is also a synonym for syllabary ).
The term " absolute value " has been used in this sense since at least 1806 in French and 1857 in English.
* The modern term " style " has a bearing on how material items such as pottery or architecture can be interpreted.
The term anti-Semitic has been used on occasion to include bigotry against other Semitic-language peoples such as Arabs, but such usage is not widely accepted.
The House of Representatives has 18 members, elected for a two year term, 17 in single-seat constituencies and one by a public meeting on Swain Island.
However, this ambiguity has been the source of controversy, particularly among Latin Americans, who feel that using the term solely for the United States misappropriates it.
The term can also refer to an establishment which has long ceased to function as an abbey, in some cases for centuries ( for example, see Westminster Abbey below ).
But no attempt to identify the figures on existing gems with the personages of Gnostic mythology has had any success, and Abrasax is the only Gnostic term found in the accompanying legends which is not known to belong to other religions or mythologies.
The term has the meaning of one being crestfallen, depressed, despondent, downcast, gloomy, sullen and evidently frowning, scowling.
The term is often used synonymously with the term antibiotic ( s ); today, however, with increased knowledge of the causative agents of various infectious diseases, antibiotic ( s ) has come to denote a broader range of antimicrobial compounds, including anti-fungal and other compounds.
term and slightly
An earlier, slightly different sense of the term was proposed by John Stuart Mill in his 1843 < cite > System of Logic </ cite >.
Many paleoanthropologists now use the term Homo ergaster for the non-Asian forms of this group, and reserve Homo erectus only for those fossils that are found in Asia and meet certain skeletal and dental requirements which differ slightly from H. ergaster.
It is also sometimes referred to as the Napierian logarithm, although the original meaning of this term is slightly different.
In fields relating to computation, the term polygon has taken on a slightly altered meaning derived from the way the shape is stored and manipulated in computer graphics ( image generation ).
" Chambers ' Dictionary mentions the contemporary usage of the term " pop art "; Grove Music Online states that the " term pop music ... seems to have been a spin-off from the terms pop art and pop culture, coined slightly earlier, and referring to a whole range of new, often American, media-culture products ".
By the latter part of the century it had acquired a slightly arcane quality associated with the era of variety, but the term is still in active use .<
A mercy rule, also well known by the slightly less polite term slaughter rule ( or, less commonly, knockout rule and skunk rule ), brings a sports event to an early end when one team has a very large and presumably insurmountable lead over the other team.
On 25 November 2006, Steve Bracks won his third election, comfortably defeating Baillieu to secure a third term, with a slightly reduced majority in the Lower House.
However, many adherents of the approach reject the use of the word " secular " as obfuscating and confusing, and consider that the term " secular humanism " has been " demonized by the religious right ... All too often secular humanism is reduced to a sterile outlook consisting of little more than secularism slightly broadened by academic ethics.
The term slack voice ( or lax voice ) describes the pronunciation of consonant or vowels with a glottal opening slightly wider than that occurring in modal voice.
This paradigm is also described as pervasive computing, ambient intelligence, or, more recently, everyware, where each term emphasizes slightly different aspects.
The term " Italian vermouth " is often used to refer to red-colored, mildly bitter, and slightly sweet vermouths.
The term synthesizer is used for a device that generates audio signals for music, or that uses slightly more intricate methods.
Indicators adopted by United Nations Environment Programme's World Conservation Monitoring Centre and the Organisation for Economic Co-operation and Development ( OECD ) to measure natural biodiversity use the term in a slightly more specific way.
Shemini Atzeret is often referred to as the eighth day of the Festival of Sukkot, which occupies the seven preceding days ( this term is slightly erroneous, however ).
The term convection may have slightly different but related usages in different scientific or engineering contexts or applications.
" Method acting " or " the Method " usually refers to the teachings of Lee Strasberg, but the term is also sometimes mistakenly applied to the teachings of his Group Theatre colleagues, including Stella Adler, Robert Lewis, and Sanford Meisner, and to other schools of acting derived from Stanislavski's system, each of which takes a slightly different approach.
According to Julia Serano, cissexual is an adjective used in the context of gender issues to describe " people who are not transsexual and who have only ever experienced their mental and physical sexes as being aligned ", while cisgender is a slightly narrower term for those who do not identify as transgender ( a larger cultural category than the more clinical transsexual ).
Pigmented scars is a slightly misleading term, as it suggests a change in the skin's pigmentation and that they are true scars ; however, neither is true.